Proofgold Signed Transaction

Import Signature 224a1..
Known 74867..^neq_0_1 : 0 = 1 ⟶ ∀ x0 : ο . x0
Known 952fe..^neq_1_0 : 1 = 0 ⟶ ∀ x0 : ο . x0
Known 9c9a3..^neq_0_2 : 0 = 2 ⟶ ∀ x0 : ο . x0
Known 00b35..^neq_2_0 : 2 = 0 ⟶ ∀ x0 : ο . x0
Known 04777..^neq_7_0 : 7 = 0 ⟶ ∀ x0 : ο . x0
Known c517b..^neq_7_1 : 7 = 1 ⟶ ∀ x0 : ο . x0
Known 719b9..^neq_7_2 : 7 = 2 ⟶ ∀ x0 : ο . x0
Known 7c014..^neq_7_3 : 7 = 3 ⟶ ∀ x0 : ο . x0
Known b83dd..^neq_7_4 : 7 = 4 ⟶ ∀ x0 : ο . x0
Known 2c37c..^neq_7_5 : 7 = 5 ⟶ ∀ x0 : ο . x0
Known 7b8e2..^neq_7_6 : 7 = 6 ⟶ ∀ x0 : ο . x0
Known 30657..^neq_8_0 : 8 = 0 ⟶ ∀ x0 : ο . x0
Known 3fab0..^neq_8_1 : 8 = 1 ⟶ ∀ x0 : ο . x0
Known e34cd..^neq_8_2 : 8 = 2 ⟶ ∀ x0 : ο . x0
Known c0304..^neq_8_3 : 8 = 3 ⟶ ∀ x0 : ο . x0
Known 626b9..^neq_8_4 : 8 = 4 ⟶ ∀ x0 : ο . x0
Known f8515..^neq_8_5 : 8 = 5 ⟶ ∀ x0 : ο . x0
Known f5b7b..^neq_8_6 : 8 = 6 ⟶ ∀ x0 : ο . x0
Known 4f065..^neq_8_7 : 8 = 7 ⟶ ∀ x0 : ο . x0
Known 6e3ac..^neq_9_0 : 9 = 0 ⟶ ∀ x0 : ο . x0
Known 80c63..^neq_9_1 : 9 = 1 ⟶ ∀ x0 : ο . x0
Known 906cc..^neq_9_2 : 9 = 2 ⟶ ∀ x0 : ο . x0
Known d46f5..^neq_9_3 : 9 = 3 ⟶ ∀ x0 : ο . x0
Known b136f..^neq_9_4 : 9 = 4 ⟶ ∀ x0 : ο . x0
Known 0ae3b..^neq_9_5 : 9 = 5 ⟶ ∀ x0 : ο . x0
Known 19a02..^neq_9_6 : 9 = 6 ⟶ ∀ x0 : ο . x0
Known ff267..^neq_9_7 : 9 = 7 ⟶ ∀ x0 : ο . x0
Known e4727..^neq_9_8 : 9 = 8 ⟶ ∀ x0 : ο . x0