source = "main.tri"
hand = "../../std/trinity/inference.tasm"
hand_libraries = ["../../std/nn/tensor.tasm", "../../std/crypto/poseidon2.tasm"]
input = []
secret = ["4", "2", "2", "1", "1", "2", "2", "1", "1", "1", "1", "2", "2", "1", "3", "1", "0", "2", "3", "5", "3", "5", "1", "6", "1", "6", "2", "6", "0", "7", "2", "7", "0", "7", "0", "8", "1", "8", "0", "8", "1", "8", "3", "8", "2", "8", "1", "9", "0", "9", "1", "8", "3", "8", "3", "8", "1", "9", "0", "10", "0", "10", "0", "10", "0", "10", "2", "10", "1", "11", "2", "11", "1", "11", "1", "11", "2", "11", "3", "11", "0", "12", "3", "13", "3", "13", "1", "14", "1", "14", "2", "14", "0", "15", "2", "15", "0", "15", "0", "16", "1", "16", "0", "16", "1", "16", "3", "16", "2", "16", "1", "17", "0", "17", "1", "16", "3", "16", "3", "16", "1", "17", "0", "18", "0", "18", "0", "18", "0", "18", "2", "18", "1", "19", "2", "19", "1", "19", "1", "19", "2", "19", "3", "19", "0", "20", "3", "21", "3", "21", "1", "22", "1", "22", "2", "22", "0", "23", "2", "23", "0", "23", "0", "24", "1", "24", "0", "24", "1", "24", "3", "24", "2", "24", "1", "25", "0", "25", "1", "24", "3", "24", "3", "24", "1", "25", "0", "26", "0", "26", "0", "26", "0", "26", "2", "26", "1", "27", "2", "27", "1", "27", "1", "27", "2", "27", "3", "27", "0", "28", "3", "29", "3", "29", "1", "30", "1", "30", "2", "30", "0", "31", "2", "31", "0", "31", "0", "1", "2", "3", "1", "3", "18446744069414584320", "0", "1", "1", "1", "2", "1", "3", "18446744069414584320", "0", "1", "1", "1", "2", "1", "7", "17179869191", "1"]
output = []
expect_failure = true
reference = "Independent integer matrix arithmetic, full custom30-round hash,14-round LUT witness oracle and explicit PBS witness transport; all29arguments. Arithmetic demonstration only: not secure TFHE/private inference or quantum commitment."
hand_prefix = """
push 3 push 100 write_mem 1 pop 1 push 17179869187 push 101 write_mem 1 pop 1 push 5 push 102 write_mem 1 pop 1 push 34359738373 push 103 write_mem 1 pop 1 push 1 push 200 write_mem 1 pop 1 push 1 push 210 write_mem 1 pop 1 push 0 push 211 write_mem 1 pop 1 push 0 push 212 write_mem 1 pop 1 push 1 push 213 write_mem 1 pop 1 push 1 push 600 write_mem 1 pop 1 push 0 push 601 write_mem 1 pop 1 push 0 push 602 write_mem 1 pop 1 push 1 push 603 write_mem 1 pop 1 push 0 push 700 write_mem 1 pop 1 push 0 push 701 write_mem 1 pop 1 push 0 push 900 write_mem 1 pop 1 push 1 push 901 write_mem 1 pop 1 push 2 push 902 write_mem 1 pop 1 push 3 push 903 write_mem 1 pop 1 push 1 push 1000 write_mem 1 pop 1 push 2 push 1001 write_mem 1 pop 1 push 3 push 1002 write_mem 1 pop 1 push 4 push 1003 write_mem 1 pop 1 push 5 push 1004 write_mem 1 pop 1 push 6 push 1005 write_mem 1 pop 1 push 7 push 1006 write_mem 1 pop 1 push 8 push 1007 write_mem 1 pop 1 push 9 push 1008 write_mem 1 pop 1 push 10 push 1009 write_mem 1 pop 1 push 11 push 1010 write_mem 1 pop 1 push 12 push 1011 write_mem 1 pop 1 push 13 push 1012 write_mem 1 pop 1 push 14 push 1013 write_mem 1 pop 1 push 15 push 1014 write_mem 1 pop 1 push 16 push 1015 write_mem 1 pop 1 push 17 push 1016 write_mem 1 pop 1 push 18 push 1017 write_mem 1 pop 1 push 19 push 1018 write_mem 1 pop 1 push 20 push 1019 write_mem 1 pop 1 push 21 push 1020 write_mem 1 pop 1 push 22 push 1021 write_mem 1 pop 1 push 23 push 1022 write_mem 1 pop 1 push 24 push 1023 write_mem 1 pop 1 push 25 push 1024 write_mem 1 pop 1 push 26 push 1025 write_mem 1 pop 1 push 27 push 1026 write_mem 1 pop 1 push 28 push 1027 write_mem 1 pop 1 push 29 push 1028 write_mem 1 pop 1 push 30 push 1029 write_mem 1 pop 1 push 31 push 1030 write_mem 1 pop 1 push 32 push 1031 write_mem 1 pop 1 push 33 push 1032 write_mem 1 pop 1 push 34 push 1033 write_mem 1 pop 1 push 35 push 1034 write_mem 1 pop 1 push 36 push 1035 write_mem 1 pop 1 push 37 push 1036 write_mem 1 pop 1 push 38 push 1037 write_mem 1 pop 1 push 39 push 1038 write_mem 1 pop 1 push 40 push 1039 write_mem 1 pop 1 push 41 push 1040 write_mem 1 pop 1 push 42 push 1041 write_mem 1 pop 1 push 43 push 1042 write_mem 1 pop 1 push 44 push 1043 write_mem 1 pop 1 push 45 push 1044 write_mem 1 pop 1 push 46 push 1045 write_mem 1 pop 1 push 47 push 1046 write_mem 1 pop 1 push 48 push 1047 write_mem 1 pop 1 push 49 push 1048 write_mem 1 pop 1 push 50 push 1049 write_mem 1 pop 1 push 51 push 1050 write_mem 1 pop 1 push 52 push 1051 write_mem 1 pop 1 push 53 push 1052 write_mem 1 pop 1 push 54 push 1053 write_mem 1 pop 1 push 55 push 1054 write_mem 1 pop 1 push 56 push 1055 write_mem 1 pop 1 push 57 push 1056 write_mem 1 pop 1 push 58 push 1057 write_mem 1 pop 1 push 59 push 1058 write_mem 1 pop 1 push 60 push 1059 write_mem 1 pop 1 push 61 push 1060 write_mem 1 pop 1 push 62 push 1061 write_mem 1 pop 1 push 63 push 1062 write_mem 1 pop 1 push 64 push 1063 write_mem 1 pop 1 push 65 push 1064 write_mem 1 pop 1 push 66 push 1065 write_mem 1 pop 1 push 67 push 1066 write_mem 1 pop 1 push 68 push 1067 write_mem 1 pop 1 push 69 push 1068 write_mem 1 pop 1 push 70 push 1069 write_mem 1 pop 1 push 71 push 1070 write_mem 1 pop 1 push 72 push 1071 write_mem 1 pop 1 push 73 push 1072 write_mem 1 pop 1 push 74 push 1073 write_mem 1 pop 1 push 75 push 1074 write_mem 1 pop 1 push 76 push 1075 write_mem 1 pop 1 push 77 push 1076 write_mem 1 pop 1 push 78 push 1077 write_mem 1 pop 1 push 79 push 1078 write_mem 1 pop 1 push 80 push 1079 write_mem 1 pop 1 push 81 push 1080 write_mem 1 pop 1 push 82 push 1081 write_mem 1 pop 1 push 83 push 1082 write_mem 1 pop 1 push 84 push 1083 write_mem 1 pop 1 push 85 push 1084 write_mem 1 pop 1 push 86 push 1085 write_mem 1 pop 1 push 1 push 1200 write_mem 1 pop 1 push 2 push 1201 write_mem 1 pop 1 push 3 push 1202 write_mem 1 pop 1 push 4 push 1203 write_mem 1 pop 1 push 5 push 1204 write_mem 1 pop 1 push 6 push 1205 write_mem 1 pop 1 push 7 push 1206 write_mem 1 pop 1 push 8 push 1207 write_mem 1 pop 1 push 9 push 1208 write_mem 1 pop 1 push 10 push 1209 write_mem 1 pop 1 push 11 push 1210 write_mem 1 pop 1 push 12 push 1211 write_mem 1 pop 1 push 13 push 1212 write_mem 1 pop 1 push 14 push 1213 write_mem 1 pop 1 push 15 push 1214 write_mem 1 pop 1 push 16 push 1215 write_mem 1 pop 1 push 17 push 1216 write_mem 1 pop 1 push 18 push 1217 write_mem 1 pop 1 push 19 push 1218 write_mem 1 pop 1 push 20 push 1219 write_mem 1 pop 1 push 21 push 1220 write_mem 1 pop 1 push 22 push 1221 write_mem 1 pop 1 push 23 push 1222 write_mem 1 pop 1 push 24 push 1223 write_mem 1 pop 1 push 25 push 1224 write_mem 1 pop 1 push 26 push 1225 write_mem 1 pop 1 push 27 push 1226 write_mem 1 pop 1 push 28 push 1227 write_mem 1 pop 1 push 29 push 1228 write_mem 1 pop 1 push 30 push 1229 write_mem 1 pop 1 push 31 push 1230 write_mem 1 pop 1 push 32 push 1231 write_mem 1 pop 1 push 33 push 1232 write_mem 1 pop 1 push 34 push 1233 write_mem 1 pop 1 push 35 push 1234 write_mem 1 pop 1 push 36 push 1235 write_mem 1 pop 1 push 37 push 1236 write_mem 1 pop 1 push 38 push 1237 write_mem 1 pop 1 push 39 push 1238 write_mem 1 pop 1 push 40 push 1239 write_mem 1 pop 1 push 41 push 1240 write_mem 1 pop 1 push 42 push 1241 write_mem 1 pop 1 push 43 push 1242 write_mem 1 pop 1 push 44 push 1243 write_mem 1 pop 1 push 45 push 1244 write_mem 1 pop 1 push 46 push 1245 write_mem 1 pop 1 push 47 push 1246 write_mem 1 pop 1 push 48 push 1247 write_mem 1 pop 1 push 49 push 1248 write_mem 1 pop 1 push 50 push 1249 write_mem 1 pop 1 push 51 push 1250 write_mem 1 pop 1 push 52 push 1251 write_mem 1 pop 1 push 53 push 1252 write_mem 1 pop 1 push 54 push 1253 write_mem 1 pop 1 push 55 push 1254 write_mem 1 pop 1 push 56 push 1255 write_mem 1 pop 1 push 57 push 1256 write_mem 1 pop 1 push 58 push 1257 write_mem 1 pop 1 push 59 push 1258 write_mem 1 pop 1 push 60 push 1259 write_mem 1 pop 1 push 61 push 1260 write_mem 1 pop 1 push 62 push 1261 write_mem 1 pop 1 push 63 push 1262 write_mem 1 pop 1 push 64 push 1263 write_mem 1 pop 1 push 65 push 1264 write_mem 1 pop 1 push 66 push 1265 write_mem 1 pop 1 push 67 push 1266 write_mem 1 pop 1 push 68 push 1267 write_mem 1 pop 1 push 69 push 1268 write_mem 1 pop 1 push 70 push 1269 write_mem 1 pop 1 push 71 push 1270 write_mem 1 pop 1 push 72 push 1271 write_mem 1 pop 1 push 73 push 1272 write_mem 1 pop 1 push 74 push 1273 write_mem 1 pop 1 push 75 push 1274 write_mem 1 pop 1 push 76 push 1275 write_mem 1 pop 1 push 77 push 1276 write_mem 1 pop 1 push 78 push 1277 write_mem 1 pop 1 push 79 push 1278 write_mem 1 pop 1 push 80 push 1279 write_mem 1 pop 1 push 81 push 1280 write_mem 1 pop 1 push 82 push 1281 write_mem 1 pop 1 push 83 push 1282 write_mem 1 pop 1 push 84 push 1283 write_mem 1 pop 1 push 85 push 1284 write_mem 1 pop 1 push 86 push 1285 write_mem 1 pop 1 push 87 push 1286 write_mem 1 pop 1 push 88 push 1287 write_mem 1 pop 1 push 89 push 1288 write_mem 1 pop 1 push 90 push 1289 write_mem 1 pop 1 push 91 push 1290 write_mem 1 pop 1 push 92 push 1291 write_mem 1 pop 1 push 93 push 1292 write_mem 1 pop 1 push 94 push 1293 write_mem 1 pop 1 push 95 push 1294 write_mem 1 pop 1 push 96 push 1295 write_mem 1 pop 1 push 97 push 1296 write_mem 1 pop 1 push 98 push 1297 write_mem 1 pop 1 push 99 push 1298 write_mem 1 pop 1 push 100 push 1299 write_mem 1 pop 1 push 101 push 1300 write_mem 1 pop 1 push 102 push 1301 write_mem 1 pop 1 push 103 push 1302 write_mem 1 pop 1 push 104 push 1303 write_mem 1 pop 1 push 105 push 1304 write_mem 1 pop 1 push 106 push 1305 write_mem 1 pop 1 push 107 push 1306 write_mem 1 pop 1 push 108 push 1307 write_mem 1 pop 1 push 109 push 1308 write_mem 1 pop 1 push 110 push 1309 write_mem 1 pop 1 push 111 push 1310 write_mem 1 pop 1 push 112 push 1311 write_mem 1 pop 1 push 100 push 200 push 210 push 300 push 400 push 500 push 17179869184 push 1 push 2 push 2 push 600 push 700 push 800 push 900 push 1 push 1000 push 5 push 7 push 13410236827539660343 push 4 push 1200 push 15 push 300 push 1400 push 4 push 1500 push 1600 push 1700 push 1 call __trinity write_io 1 push 500 read_mem 1 pop 1 write_io 1 push 501 read_mem 1 pop 1 write_io 1 push 800 read_mem 1 pop 1 write_io 1 push 801 read_mem 1 pop 1 write_io 1 push 1400 read_mem 1 pop 1 write_io 1 push 1401 read_mem 1 pop 1 write_io 1 halt
"""