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