{ "branch_handler": "0xb22d8", "equality_handler": "0xb21cc", "assignment_handler": "0xb28b8", "return_handler": "0xb2574", "branches": [ { "program": "retail/tfx", "function": "main", "node": 10, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "main", "node": 11, "cases": [ { "input": 2, "taken": true, "gosub_depth": 0 }, { "input": 3, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "main", "node": 12, "cases": [ { "input": 3, "taken": true, "gosub_depth": 0 }, { "input": 2, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "main", "node": 13, "cases": [ { "input": 4, "taken": true, "gosub_depth": 0 }, { "input": 5, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "main", "node": 14, "cases": [ { "input": 7, "taken": true, "gosub_depth": 0 }, { "input": 6, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "main", "node": 15, "cases": [ { "input": 6, "taken": true, "gosub_depth": 0 }, { "input": 7, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "main", "node": 16, "cases": [ { "input": 5, "taken": true, "gosub_depth": 0 }, { "input": 4, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "fws", "node": 8, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "fws", "node": 17, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "fws", "node": 24, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "fws", "node": 30, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "fws", "node": 36, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "fws", "node": 41, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "fws", "node": 46, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "fws", "node": 51, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "fws", "node": 56, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "fws", "node": 61, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "fws", "node": 66, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 }, { "input": 1, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "fws", "node": 67, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "fws", "node": 70, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 3, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 14, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 22, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 27, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 32, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 37, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 42, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 47, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 54, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 59, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 73, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 83, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 91, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 102, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 107, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 114, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 115, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim", "node": 7, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim", "node": 8, "cases": [ { "input": 2, "taken": true, "gosub_depth": 0 }, { "input": 3, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim", "node": 9, "cases": [ { "input": 3, "taken": true, "gosub_depth": 0 }, { "input": 2, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim", "node": 10, "cases": [ { "input": 4, "taken": true, "gosub_depth": 0 }, { "input": 5, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim", "node": 11, "cases": [ { "input": 5, "taken": true, "gosub_depth": 0 }, { "input": 4, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim", "node": 15, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_col1", "node": 2, "cases": [ { "input": 7, "taken": true, "gosub_depth": 0 }, { "input": 6, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_col1", "node": 3, "cases": [ { "input": 8, "taken": true, "gosub_depth": 0 }, { "input": 9, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_col1", "node": 4, "cases": [ { "input": 5, "taken": true, "gosub_depth": 0 }, { "input": 4, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_col1", "node": 5, "cases": [ { "input": 4, "taken": true, "gosub_depth": 0 }, { "input": 5, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_col1", "node": 6, "cases": [ { "input": 3, "taken": true, "gosub_depth": 0 }, { "input": 2, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_col1", "node": 7, "cases": [ { "input": 2, "taken": true, "gosub_depth": 0 }, { "input": 3, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_col1", "node": 11, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_col1", "node": 15, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_col1", "node": 19, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_col1", "node": 23, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_col1", "node": 28, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_col1", "node": 32, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_som1", "node": 2, "cases": [ { "input": 7, "taken": true, "gosub_depth": 0 }, { "input": 6, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_som1", "node": 3, "cases": [ { "input": 8, "taken": true, "gosub_depth": 0 }, { "input": 9, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_som1", "node": 4, "cases": [ { "input": 5, "taken": true, "gosub_depth": 0 }, { "input": 4, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_som1", "node": 5, "cases": [ { "input": 4, "taken": true, "gosub_depth": 0 }, { "input": 5, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_som1", "node": 6, "cases": [ { "input": 3, "taken": true, "gosub_depth": 0 }, { "input": 2, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_som1", "node": 7, "cases": [ { "input": 2, "taken": true, "gosub_depth": 0 }, { "input": 3, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_som1", "node": 9, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_som1", "node": 12, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_som1", "node": 15, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_som1", "node": 18, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_som1", "node": 21, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_som1", "node": 24, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_lib1", "node": 2, "cases": [ { "input": 7, "taken": true, "gosub_depth": 0 }, { "input": 6, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_lib1", "node": 3, "cases": [ { "input": 8, "taken": true, "gosub_depth": 0 }, { "input": 9, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_lib1", "node": 4, "cases": [ { "input": 5, "taken": true, "gosub_depth": 0 }, { "input": 4, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_lib1", "node": 5, "cases": [ { "input": 4, "taken": true, "gosub_depth": 0 }, { "input": 5, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_lib1", "node": 6, "cases": [ { "input": 3, "taken": true, "gosub_depth": 0 }, { "input": 2, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_lib1", "node": 7, "cases": [ { "input": 2, "taken": true, "gosub_depth": 0 }, { "input": 3, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_lib1", "node": 10, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_lib1", "node": 13, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_lib1", "node": 16, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_lib1", "node": 19, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_lib1", "node": 22, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_lib1", "node": 25, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_yugo1", "node": 2, "cases": [ { "input": 6, "taken": true, "gosub_depth": 0 }, { "input": 7, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_yugo1", "node": 3, "cases": [ { "input": 5, "taken": true, "gosub_depth": 0 }, { "input": 4, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_yugo1", "node": 4, "cases": [ { "input": 4, "taken": true, "gosub_depth": 0 }, { "input": 5, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_yugo1", "node": 5, "cases": [ { "input": 3, "taken": true, "gosub_depth": 0 }, { "input": 2, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_yugo1", "node": 6, "cases": [ { "input": 8, "taken": true, "gosub_depth": 0 }, { "input": 9, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_yugo1", "node": 7, "cases": [ { "input": 7, "taken": true, "gosub_depth": 0 }, { "input": 6, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_yugo1", "node": 8, "cases": [ { "input": 2, "taken": true, "gosub_depth": 0 }, { "input": 3, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_yugo1", "node": 11, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_yugo1", "node": 14, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_yugo1", "node": 17, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_yugo1", "node": 20, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_yugo1", "node": 23, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_yugo1", "node": 26, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_sea1", "node": 2, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_sea1", "node": 3, "cases": [ { "input": 2, "taken": true, "gosub_depth": 0 }, { "input": 3, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_sea1", "node": 4, "cases": [ { "input": 8, "taken": true, "gosub_depth": 0 }, { "input": 9, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_sea1", "node": 5, "cases": [ { "input": 7, "taken": true, "gosub_depth": 0 }, { "input": 6, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_sea1", "node": 6, "cases": [ { "input": 5, "taken": true, "gosub_depth": 0 }, { "input": 4, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_sea1", "node": 7, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_sea1", "node": 11, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_sea1", "node": 15, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_sea1", "node": 19, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "sim_sea1", "node": 23, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 2, "cases": [ { "input": 1, "taken": true, "gosub_depth": 1 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 3, "cases": [ { "input": 2, "taken": true, "gosub_depth": 1 }, { "input": 3, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 7, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 9, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 11, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 }, { "input": 1, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 14, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 }, { "input": 1, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 15, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 19, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 20, "cases": [ { "input": 2, "taken": true, "gosub_depth": 1 }, { "input": 3, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 21, "cases": [ { "input": 1, "taken": true, "gosub_depth": 1 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 24, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 40, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 47, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 54, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 61, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 68, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 74, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 5, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 11, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 17, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 22, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 27, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 32, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 38, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 43, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 48, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 56, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 61, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 62, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 14, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 25, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 32, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 40, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 45, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 50, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 56, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 61, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 66, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 72, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 79, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 85, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 95, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 100, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 106, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 114, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 115, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "soapsom", "node": 3, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapsom", "node": 8, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapsom", "node": 20, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapsom", "node": 25, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapsom", "node": 32, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapsom", "node": 37, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapsom", "node": 42, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapsom", "node": 48, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapsom", "node": 49, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "soapsea", "node": 16, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapsea", "node": 21, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapsea", "node": 28, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapsea", "node": 35, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapsea", "node": 40, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapsea", "node": 45, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapsea", "node": 50, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapsea", "node": 58, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapsea", "node": 64, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "soapsea", "node": 65, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 6, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 14, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 21, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 28, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 34, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 41, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 46, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 51, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 57, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 62, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 68, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 69, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 5, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 10, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 16, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 21, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 26, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 32, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 37, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 43, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 48, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 53, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 59, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 60, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 5, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 10, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 16, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 21, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 26, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 31, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 37, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 42, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 47, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 52, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 58, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 59, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "enrol", "node": 7, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "nocando", "node": 1, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "todselct", "node": 0, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 }, { "input": 1, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "todselct", "node": 7, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "todselct", "node": 8, "cases": [ { "input": 2, "taken": true, "gosub_depth": 0 }, { "input": 3, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "todselct", "node": 9, "cases": [ { "input": 3, "taken": true, "gosub_depth": 0 }, { "input": 2, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "todselct", "node": 10, "cases": [ { "input": 4, "taken": true, "gosub_depth": 0 }, { "input": 5, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "soap_sel", "node": 0, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 }, { "input": 1, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "soap_sel", "node": 4, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "soap_sel", "node": 5, "cases": [ { "input": 2, "taken": true, "gosub_depth": 0 }, { "input": 3, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "soap_sel", "node": 6, "cases": [ { "input": 3, "taken": true, "gosub_depth": 0 }, { "input": 2, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "soap_sel", "node": 7, "cases": [ { "input": 4, "taken": true, "gosub_depth": 0 }, { "input": 5, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "soap_sel", "node": 8, "cases": [ { "input": 5, "taken": true, "gosub_depth": 0 }, { "input": 4, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "soap_sel", "node": 9, "cases": [ { "input": 6, "taken": true, "gosub_depth": 0 }, { "input": 7, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "busted1", "node": 1, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "busted1", "node": 2, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "mia", "node": 0, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "mia", "node": 11, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "mia", "node": 12, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "mia", "node": 19, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "death1", "node": 0, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "death1", "node": 2, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "death1", "node": 3, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "death1", "node": 10, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "commander", "node": 5, "cases": [ { "input": 6, "taken": true, "gosub_depth": 0 }, { "input": 7, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "commander", "node": 7, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "commander", "node": 10, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "mission", "node": 3, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 }, { "input": 1, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "mission", "node": 4, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "mission", "node": 5, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "outcomes", "node": 0, "cases": [ { "input": 99, "taken": true, "gosub_depth": 0 }, { "input": 98, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "outcomes", "node": 1, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "outcomes", "node": 2, "cases": [ { "input": 2, "taken": true, "gosub_depth": 0 }, { "input": 3, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "outcomes", "node": 3, "cases": [ { "input": 3, "taken": true, "gosub_depth": 0 }, { "input": 2, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "outcomes", "node": 4, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 }, { "input": 1, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "outcomes", "node": 8, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 }, { "input": 1, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "outcomes", "node": 9, "cases": [ { "input": 3, "taken": true, "gosub_depth": 0 }, { "input": 2, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "outcomes", "node": 10, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 }, { "input": 1, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "outcomes", "node": 11, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "outcomes", "node": 15, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "retail/tfx", "function": "outcomes", "node": 16, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 }, { "input": 1, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "outcomes", "node": 17, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "eject_ok", "node": 3, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 }, { "input": 1, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "bust_ejc", "node": 6, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "bust_ejc", "node": 7, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "promote", "node": 0, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "promote", "node": 1, "cases": [ { "input": 6, "taken": true, "gosub_depth": 0 }, { "input": 7, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "promote", "node": 2, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "un-defeat", "node": 0, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "un-defeat", "node": 8, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "retail/tfx", "function": "un-defeat", "node": 15, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "main", "node": 10, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "main", "node": 11, "cases": [ { "input": 2, "taken": true, "gosub_depth": 0 }, { "input": 3, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "main", "node": 12, "cases": [ { "input": 3, "taken": true, "gosub_depth": 0 }, { "input": 2, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "main", "node": 13, "cases": [ { "input": 4, "taken": true, "gosub_depth": 0 }, { "input": 5, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "main", "node": 14, "cases": [ { "input": 7, "taken": true, "gosub_depth": 0 }, { "input": 6, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "main", "node": 15, "cases": [ { "input": 6, "taken": true, "gosub_depth": 0 }, { "input": 7, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "main", "node": 16, "cases": [ { "input": 5, "taken": true, "gosub_depth": 0 }, { "input": 4, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "fws", "node": 8, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "fws", "node": 15, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "fws", "node": 21, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "fws", "node": 26, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "fws", "node": 31, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "fws", "node": 36, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 }, { "input": 1, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "fws", "node": 37, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "fws", "node": 40, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 3, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 14, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 22, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 27, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 32, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 37, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 42, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 47, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 54, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 59, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 73, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 83, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 91, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 102, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 107, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 114, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 115, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "soapsea", "node": 16, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapsea", "node": 21, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapsea", "node": 28, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapsea", "node": 35, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapsea", "node": 40, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapsea", "node": 45, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapsea", "node": 50, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapsea", "node": 58, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapsea", "node": 64, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapsea", "node": 65, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "enrol", "node": 7, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "nocando", "node": 1, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "soap_sel", "node": 3, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "soap_sel", "node": 4, "cases": [ { "input": 2, "taken": true, "gosub_depth": 0 }, { "input": 3, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "soap_sel", "node": 5, "cases": [ { "input": 4, "taken": true, "gosub_depth": 0 }, { "input": 5, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "soap_sel", "node": 6, "cases": [ { "input": 5, "taken": true, "gosub_depth": 0 }, { "input": 4, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "soap_sel", "node": 7, "cases": [ { "input": 6, "taken": true, "gosub_depth": 0 }, { "input": 7, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "busted1", "node": 1, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "busted1", "node": 2, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "mia", "node": 0, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "mia", "node": 11, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "mia", "node": 12, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "mia", "node": 19, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "death1", "node": 0, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "death1", "node": 2, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "death1", "node": 3, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "death1", "node": 10, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "commander", "node": 5, "cases": [ { "input": 6, "taken": true, "gosub_depth": 0 }, { "input": 7, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "commander", "node": 7, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "commander", "node": 10, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "mission", "node": 3, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 }, { "input": 1, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "mission", "node": 4, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "mission", "node": 5, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "outcomes", "node": 0, "cases": [ { "input": 99, "taken": true, "gosub_depth": 0 }, { "input": 98, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "outcomes", "node": 1, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "outcomes", "node": 2, "cases": [ { "input": 2, "taken": true, "gosub_depth": 0 }, { "input": 3, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "outcomes", "node": 3, "cases": [ { "input": 3, "taken": true, "gosub_depth": 0 }, { "input": 2, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "outcomes", "node": 4, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 }, { "input": 1, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "outcomes", "node": 8, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 }, { "input": 1, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "outcomes", "node": 9, "cases": [ { "input": 3, "taken": true, "gosub_depth": 0 }, { "input": 2, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "outcomes", "node": 10, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 }, { "input": 1, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "outcomes", "node": 11, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "outcomes", "node": 15, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 } ] }, { "program": "pcplus/cd_mag", "function": "outcomes", "node": 16, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 }, { "input": 1, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "outcomes", "node": 17, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "eject_ok", "node": 3, "cases": [ { "input": 0, "taken": true, "gosub_depth": 1 }, { "input": 1, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "bust_ejc", "node": 6, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "bust_ejc", "node": 7, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "promote", "node": 0, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "promote", "node": 1, "cases": [ { "input": 6, "taken": true, "gosub_depth": 0 }, { "input": 7, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "promote", "node": 2, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "un-defeat", "node": 0, "cases": [ { "input": 1, "taken": true, "gosub_depth": 0 }, { "input": 0, "taken": false, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "un-defeat", "node": 8, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] }, { "program": "pcplus/cd_mag", "function": "un-defeat", "node": 15, "cases": [ { "input": 0, "taken": true, "gosub_depth": 0 } ] } ], "assignments": [ { "program": "retail/tfx", "function": "main", "node": 6, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "main", "node": 8, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "main", "node": 9, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "fws", "node": 0, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "retail/tfx", "function": "fws", "node": 6, "cases": [ { "before": 0, "after": 501 }, { "before": 42, "after": 501 }, { "before": 4294967295, "after": 501 }, { "before": 2147483648, "after": 501 } ] }, { "program": "retail/tfx", "function": "fws", "node": 10, "cases": [ { "before": 0, "after": 10000 }, { "before": 42, "after": 10042 }, { "before": 4294967295, "after": 9999 }, { "before": 2147483648, "after": 2147493648 } ] }, { "program": "retail/tfx", "function": "fws", "node": 15, "cases": [ { "before": 0, "after": 502 }, { "before": 42, "after": 502 }, { "before": 4294967295, "after": 502 }, { "before": 2147483648, "after": 502 } ] }, { "program": "retail/tfx", "function": "fws", "node": 19, "cases": [ { "before": 0, "after": 10000 }, { "before": 42, "after": 10042 }, { "before": 4294967295, "after": 9999 }, { "before": 2147483648, "after": 2147493648 } ] }, { "program": "retail/tfx", "function": "fws", "node": 22, "cases": [ { "before": 0, "after": 503 }, { "before": 42, "after": 503 }, { "before": 4294967295, "after": 503 }, { "before": 2147483648, "after": 503 } ] }, { "program": "retail/tfx", "function": "fws", "node": 28, "cases": [ { "before": 0, "after": 504 }, { "before": 42, "after": 504 }, { "before": 4294967295, "after": 504 }, { "before": 2147483648, "after": 504 } ] }, { "program": "retail/tfx", "function": "fws", "node": 34, "cases": [ { "before": 0, "after": 505 }, { "before": 42, "after": 505 }, { "before": 4294967295, "after": 505 }, { "before": 2147483648, "after": 505 } ] }, { "program": "retail/tfx", "function": "fws", "node": 39, "cases": [ { "before": 0, "after": 506 }, { "before": 42, "after": 506 }, { "before": 4294967295, "after": 506 }, { "before": 2147483648, "after": 506 } ] }, { "program": "retail/tfx", "function": "fws", "node": 44, "cases": [ { "before": 0, "after": 507 }, { "before": 42, "after": 507 }, { "before": 4294967295, "after": 507 }, { "before": 2147483648, "after": 507 } ] }, { "program": "retail/tfx", "function": "fws", "node": 49, "cases": [ { "before": 0, "after": 508 }, { "before": 42, "after": 508 }, { "before": 4294967295, "after": 508 }, { "before": 2147483648, "after": 508 } ] }, { "program": "retail/tfx", "function": "fws", "node": 54, "cases": [ { "before": 0, "after": 509 }, { "before": 42, "after": 509 }, { "before": 4294967295, "after": 509 }, { "before": 2147483648, "after": 509 } ] }, { "program": "retail/tfx", "function": "fws", "node": 59, "cases": [ { "before": 0, "after": 510 }, { "before": 42, "after": 510 }, { "before": 4294967295, "after": 510 }, { "before": 2147483648, "after": 510 } ] }, { "program": "retail/tfx", "function": "fws", "node": 64, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "fws", "node": 68, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 1, "cases": [ { "before": 0, "after": 961 }, { "before": 42, "after": 961 }, { "before": 4294967295, "after": 961 }, { "before": 2147483648, "after": 961 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 12, "cases": [ { "before": 0, "after": 962 }, { "before": 42, "after": 962 }, { "before": 4294967295, "after": 962 }, { "before": 2147483648, "after": 962 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 20, "cases": [ { "before": 0, "after": 963 }, { "before": 42, "after": 963 }, { "before": 4294967295, "after": 963 }, { "before": 2147483648, "after": 963 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 25, "cases": [ { "before": 0, "after": 964 }, { "before": 42, "after": 964 }, { "before": 4294967295, "after": 964 }, { "before": 2147483648, "after": 964 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 30, "cases": [ { "before": 0, "after": 965 }, { "before": 42, "after": 965 }, { "before": 4294967295, "after": 965 }, { "before": 2147483648, "after": 965 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 35, "cases": [ { "before": 0, "after": 966 }, { "before": 42, "after": 966 }, { "before": 4294967295, "after": 966 }, { "before": 2147483648, "after": 966 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 40, "cases": [ { "before": 0, "after": 967 }, { "before": 42, "after": 967 }, { "before": 4294967295, "after": 967 }, { "before": 2147483648, "after": 967 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 45, "cases": [ { "before": 0, "after": 968 }, { "before": 42, "after": 968 }, { "before": 4294967295, "after": 968 }, { "before": 2147483648, "after": 968 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 52, "cases": [ { "before": 0, "after": 969 }, { "before": 42, "after": 969 }, { "before": 4294967295, "after": 969 }, { "before": 2147483648, "after": 969 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 57, "cases": [ { "before": 0, "after": 970 }, { "before": 42, "after": 970 }, { "before": 4294967295, "after": 970 }, { "before": 2147483648, "after": 970 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 71, "cases": [ { "before": 0, "after": 971 }, { "before": 42, "after": 971 }, { "before": 4294967295, "after": 971 }, { "before": 2147483648, "after": 971 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 81, "cases": [ { "before": 0, "after": 972 }, { "before": 42, "after": 972 }, { "before": 4294967295, "after": 972 }, { "before": 2147483648, "after": 972 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 89, "cases": [ { "before": 0, "after": 973 }, { "before": 42, "after": 973 }, { "before": 4294967295, "after": 973 }, { "before": 2147483648, "after": 973 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 100, "cases": [ { "before": 0, "after": 974 }, { "before": 42, "after": 974 }, { "before": 4294967295, "after": 974 }, { "before": 2147483648, "after": 974 } ] }, { "program": "retail/tfx", "function": "soapyug2", "node": 105, "cases": [ { "before": 0, "after": 975 }, { "before": 42, "after": 975 }, { "before": 4294967295, "after": 975 }, { "before": 2147483648, "after": 975 } ] }, { "program": "retail/tfx", "function": "sim", "node": 1, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "retail/tfx", "function": "sim", "node": 2, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "retail/tfx", "function": "sim", "node": 12, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "sim", "node": 13, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 5, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 6, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 13, "cases": [ { "before": 0, "after": 4294967295 }, { "before": 42, "after": 41 }, { "before": 4294967295, "after": 4294967294 }, { "before": 2147483648, "after": 2147483647 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 22, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 31, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 32, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 33, "cases": [ { "before": 0, "after": 3 }, { "before": 42, "after": 3 }, { "before": 4294967295, "after": 3 }, { "before": 2147483648, "after": 3 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 36, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 37, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 38, "cases": [ { "before": 0, "after": 601 }, { "before": 42, "after": 601 }, { "before": 4294967295, "after": 601 }, { "before": 2147483648, "after": 601 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 42, "cases": [ { "before": 0, "after": 10000 }, { "before": 42, "after": 10042 }, { "before": 4294967295, "after": 9999 }, { "before": 2147483648, "after": 2147493648 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 45, "cases": [ { "before": 0, "after": 602 }, { "before": 42, "after": 602 }, { "before": 4294967295, "after": 602 }, { "before": 2147483648, "after": 602 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 49, "cases": [ { "before": 0, "after": 20000 }, { "before": 42, "after": 20042 }, { "before": 4294967295, "after": 19999 }, { "before": 2147483648, "after": 2147503648 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 52, "cases": [ { "before": 0, "after": 603 }, { "before": 42, "after": 603 }, { "before": 4294967295, "after": 603 }, { "before": 2147483648, "after": 603 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 56, "cases": [ { "before": 0, "after": 30000 }, { "before": 42, "after": 30042 }, { "before": 4294967295, "after": 29999 }, { "before": 2147483648, "after": 2147513648 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 59, "cases": [ { "before": 0, "after": 604 }, { "before": 42, "after": 604 }, { "before": 4294967295, "after": 604 }, { "before": 2147483648, "after": 604 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 63, "cases": [ { "before": 0, "after": 40000 }, { "before": 42, "after": 40042 }, { "before": 4294967295, "after": 39999 }, { "before": 2147483648, "after": 2147523648 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 66, "cases": [ { "before": 0, "after": 605 }, { "before": 42, "after": 605 }, { "before": 4294967295, "after": 605 }, { "before": 2147483648, "after": 605 } ] }, { "program": "retail/tfx", "function": "arcade", "node": 70, "cases": [ { "before": 0, "after": 100000 }, { "before": 42, "after": 100042 }, { "before": 4294967295, "after": 99999 }, { "before": 2147483648, "after": 2147583648 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 2, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 3, "cases": [ { "before": 0, "after": 901 }, { "before": 42, "after": 901 }, { "before": 4294967295, "after": 901 }, { "before": 2147483648, "after": 901 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 8, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 9, "cases": [ { "before": 0, "after": 902 }, { "before": 42, "after": 902 }, { "before": 4294967295, "after": 902 }, { "before": 2147483648, "after": 902 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 15, "cases": [ { "before": 0, "after": 903 }, { "before": 42, "after": 903 }, { "before": 4294967295, "after": 903 }, { "before": 2147483648, "after": 903 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 20, "cases": [ { "before": 0, "after": 904 }, { "before": 42, "after": 904 }, { "before": 4294967295, "after": 904 }, { "before": 2147483648, "after": 904 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 25, "cases": [ { "before": 0, "after": 905 }, { "before": 42, "after": 905 }, { "before": 4294967295, "after": 905 }, { "before": 2147483648, "after": 905 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 30, "cases": [ { "before": 0, "after": 906 }, { "before": 42, "after": 906 }, { "before": 4294967295, "after": 906 }, { "before": 2147483648, "after": 906 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 36, "cases": [ { "before": 0, "after": 907 }, { "before": 42, "after": 907 }, { "before": 4294967295, "after": 907 }, { "before": 2147483648, "after": 907 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 41, "cases": [ { "before": 0, "after": 908 }, { "before": 42, "after": 908 }, { "before": 4294967295, "after": 908 }, { "before": 2147483648, "after": 908 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 46, "cases": [ { "before": 0, "after": 909 }, { "before": 42, "after": 909 }, { "before": 4294967295, "after": 909 }, { "before": 2147483648, "after": 909 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 54, "cases": [ { "before": 0, "after": 910 }, { "before": 42, "after": 910 }, { "before": 4294967295, "after": 910 }, { "before": 2147483648, "after": 910 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 58, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "soapcol", "node": 59, "cases": [ { "before": 0, "after": 150000 }, { "before": 42, "after": 150042 }, { "before": 4294967295, "after": 149999 }, { "before": 2147483648, "after": 2147633648 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 12, "cases": [ { "before": 0, "after": 921 }, { "before": 42, "after": 921 }, { "before": 4294967295, "after": 921 }, { "before": 2147483648, "after": 921 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 23, "cases": [ { "before": 0, "after": 922 }, { "before": 42, "after": 922 }, { "before": 4294967295, "after": 922 }, { "before": 2147483648, "after": 922 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 30, "cases": [ { "before": 0, "after": 923 }, { "before": 42, "after": 923 }, { "before": 4294967295, "after": 923 }, { "before": 2147483648, "after": 923 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 38, "cases": [ { "before": 0, "after": 924 }, { "before": 42, "after": 924 }, { "before": 4294967295, "after": 924 }, { "before": 2147483648, "after": 924 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 43, "cases": [ { "before": 0, "after": 925 }, { "before": 42, "after": 925 }, { "before": 4294967295, "after": 925 }, { "before": 2147483648, "after": 925 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 48, "cases": [ { "before": 0, "after": 926 }, { "before": 42, "after": 926 }, { "before": 4294967295, "after": 926 }, { "before": 2147483648, "after": 926 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 54, "cases": [ { "before": 0, "after": 927 }, { "before": 42, "after": 927 }, { "before": 4294967295, "after": 927 }, { "before": 2147483648, "after": 927 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 59, "cases": [ { "before": 0, "after": 928 }, { "before": 42, "after": 928 }, { "before": 4294967295, "after": 928 }, { "before": 2147483648, "after": 928 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 64, "cases": [ { "before": 0, "after": 929 }, { "before": 42, "after": 929 }, { "before": 4294967295, "after": 929 }, { "before": 2147483648, "after": 929 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 70, "cases": [ { "before": 0, "after": 930 }, { "before": 42, "after": 930 }, { "before": 4294967295, "after": 930 }, { "before": 2147483648, "after": 930 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 77, "cases": [ { "before": 0, "after": 931 }, { "before": 42, "after": 931 }, { "before": 4294967295, "after": 931 }, { "before": 2147483648, "after": 931 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 83, "cases": [ { "before": 0, "after": 932 }, { "before": 42, "after": 932 }, { "before": 4294967295, "after": 932 }, { "before": 2147483648, "after": 932 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 93, "cases": [ { "before": 0, "after": 933 }, { "before": 42, "after": 933 }, { "before": 4294967295, "after": 933 }, { "before": 2147483648, "after": 933 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 98, "cases": [ { "before": 0, "after": 934 }, { "before": 42, "after": 934 }, { "before": 4294967295, "after": 934 }, { "before": 2147483648, "after": 934 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 104, "cases": [ { "before": 0, "after": 935 }, { "before": 42, "after": 935 }, { "before": 4294967295, "after": 935 }, { "before": 2147483648, "after": 935 } ] }, { "program": "retail/tfx", "function": "soaplib", "node": 112, "cases": [ { "before": 0, "after": 200000 }, { "before": 42, "after": 200042 }, { "before": 4294967295, "after": 199999 }, { "before": 2147483648, "after": 2147683648 } ] }, { "program": "retail/tfx", "function": "soapsom", "node": 1, "cases": [ { "before": 0, "after": 941 }, { "before": 42, "after": 941 }, { "before": 4294967295, "after": 941 }, { "before": 2147483648, "after": 941 } ] }, { "program": "retail/tfx", "function": "soapsom", "node": 6, "cases": [ { "before": 0, "after": 942 }, { "before": 42, "after": 942 }, { "before": 4294967295, "after": 942 }, { "before": 2147483648, "after": 942 } ] }, { "program": "retail/tfx", "function": "soapsom", "node": 18, "cases": [ { "before": 0, "after": 943 }, { "before": 42, "after": 943 }, { "before": 4294967295, "after": 943 }, { "before": 2147483648, "after": 943 } ] }, { "program": "retail/tfx", "function": "soapsom", "node": 23, "cases": [ { "before": 0, "after": 944 }, { "before": 42, "after": 944 }, { "before": 4294967295, "after": 944 }, { "before": 2147483648, "after": 944 } ] }, { "program": "retail/tfx", "function": "soapsom", "node": 30, "cases": [ { "before": 0, "after": 945 }, { "before": 42, "after": 945 }, { "before": 4294967295, "after": 945 }, { "before": 2147483648, "after": 945 } ] }, { "program": "retail/tfx", "function": "soapsom", "node": 35, "cases": [ { "before": 0, "after": 946 }, { "before": 42, "after": 946 }, { "before": 4294967295, "after": 946 }, { "before": 2147483648, "after": 946 } ] }, { "program": "retail/tfx", "function": "soapsom", "node": 40, "cases": [ { "before": 0, "after": 947 }, { "before": 42, "after": 947 }, { "before": 4294967295, "after": 947 }, { "before": 2147483648, "after": 947 } ] }, { "program": "retail/tfx", "function": "soapsom", "node": 46, "cases": [ { "before": 0, "after": 100000 }, { "before": 42, "after": 100042 }, { "before": 4294967295, "after": 99999 }, { "before": 2147483648, "after": 2147583648 } ] }, { "program": "retail/tfx", "function": "soapsea", "node": 14, "cases": [ { "before": 0, "after": 981 }, { "before": 42, "after": 981 }, { "before": 4294967295, "after": 981 }, { "before": 2147483648, "after": 981 } ] }, { "program": "retail/tfx", "function": "soapsea", "node": 19, "cases": [ { "before": 0, "after": 982 }, { "before": 42, "after": 982 }, { "before": 4294967295, "after": 982 }, { "before": 2147483648, "after": 982 } ] }, { "program": "retail/tfx", "function": "soapsea", "node": 26, "cases": [ { "before": 0, "after": 983 }, { "before": 42, "after": 983 }, { "before": 4294967295, "after": 983 }, { "before": 2147483648, "after": 983 } ] }, { "program": "retail/tfx", "function": "soapsea", "node": 33, "cases": [ { "before": 0, "after": 984 }, { "before": 42, "after": 984 }, { "before": 4294967295, "after": 984 }, { "before": 2147483648, "after": 984 } ] }, { "program": "retail/tfx", "function": "soapsea", "node": 38, "cases": [ { "before": 0, "after": 985 }, { "before": 42, "after": 985 }, { "before": 4294967295, "after": 985 }, { "before": 2147483648, "after": 985 } ] }, { "program": "retail/tfx", "function": "soapsea", "node": 43, "cases": [ { "before": 0, "after": 986 }, { "before": 42, "after": 986 }, { "before": 4294967295, "after": 986 }, { "before": 2147483648, "after": 986 } ] }, { "program": "retail/tfx", "function": "soapsea", "node": 48, "cases": [ { "before": 0, "after": 987 }, { "before": 42, "after": 987 }, { "before": 4294967295, "after": 987 }, { "before": 2147483648, "after": 987 } ] }, { "program": "retail/tfx", "function": "soapsea", "node": 56, "cases": [ { "before": 0, "after": 988 }, { "before": 42, "after": 988 }, { "before": 4294967295, "after": 988 }, { "before": 2147483648, "after": 988 } ] }, { "program": "retail/tfx", "function": "soapsea", "node": 62, "cases": [ { "before": 0, "after": 200000 }, { "before": 42, "after": 200042 }, { "before": 4294967295, "after": 199999 }, { "before": 2147483648, "after": 2147683648 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 2, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 4, "cases": [ { "before": 0, "after": 801 }, { "before": 42, "after": 801 }, { "before": 4294967295, "after": 801 }, { "before": 2147483648, "after": 801 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 8, "cases": [ { "before": 0, "after": 15000 }, { "before": 42, "after": 15042 }, { "before": 4294967295, "after": 14999 }, { "before": 2147483648, "after": 2147498648 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 10, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 12, "cases": [ { "before": 0, "after": 802 }, { "before": 42, "after": 802 }, { "before": 4294967295, "after": 802 }, { "before": 2147483648, "after": 802 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 16, "cases": [ { "before": 0, "after": 15000 }, { "before": 42, "after": 15042 }, { "before": 4294967295, "after": 14999 }, { "before": 2147483648, "after": 2147498648 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 19, "cases": [ { "before": 0, "after": 803 }, { "before": 42, "after": 803 }, { "before": 4294967295, "after": 803 }, { "before": 2147483648, "after": 803 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 23, "cases": [ { "before": 0, "after": 15000 }, { "before": 42, "after": 15042 }, { "before": 4294967295, "after": 14999 }, { "before": 2147483648, "after": 2147498648 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 26, "cases": [ { "before": 0, "after": 804 }, { "before": 42, "after": 804 }, { "before": 4294967295, "after": 804 }, { "before": 2147483648, "after": 804 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 30, "cases": [ { "before": 0, "after": 40000 }, { "before": 42, "after": 40042 }, { "before": 4294967295, "after": 39999 }, { "before": 2147483648, "after": 2147523648 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 32, "cases": [ { "before": 0, "after": 805 }, { "before": 42, "after": 805 }, { "before": 4294967295, "after": 805 }, { "before": 2147483648, "after": 805 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 36, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 39, "cases": [ { "before": 0, "after": 806 }, { "before": 42, "after": 806 }, { "before": 4294967295, "after": 806 }, { "before": 2147483648, "after": 806 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 44, "cases": [ { "before": 0, "after": 807 }, { "before": 42, "after": 807 }, { "before": 4294967295, "after": 807 }, { "before": 2147483648, "after": 807 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 49, "cases": [ { "before": 0, "after": 808 }, { "before": 42, "after": 808 }, { "before": 4294967295, "after": 808 }, { "before": 2147483648, "after": 808 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 55, "cases": [ { "before": 0, "after": 809 }, { "before": 42, "after": 809 }, { "before": 4294967295, "after": 809 }, { "before": 2147483648, "after": 809 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 60, "cases": [ { "before": 0, "after": 810 }, { "before": 42, "after": 810 }, { "before": 4294967295, "after": 810 }, { "before": 2147483648, "after": 810 } ] }, { "program": "retail/tfx", "function": "todefa", "node": 64, "cases": [ { "before": 0, "after": 200000 }, { "before": 42, "after": 200042 }, { "before": 4294967295, "after": 199999 }, { "before": 2147483648, "after": 2147683648 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 3, "cases": [ { "before": 0, "after": 841 }, { "before": 42, "after": 841 }, { "before": 4294967295, "after": 841 }, { "before": 2147483648, "after": 841 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 8, "cases": [ { "before": 0, "after": 842 }, { "before": 42, "after": 842 }, { "before": 4294967295, "after": 842 }, { "before": 2147483648, "after": 842 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 14, "cases": [ { "before": 0, "after": 843 }, { "before": 42, "after": 843 }, { "before": 4294967295, "after": 843 }, { "before": 2147483648, "after": 843 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 19, "cases": [ { "before": 0, "after": 844 }, { "before": 42, "after": 844 }, { "before": 4294967295, "after": 844 }, { "before": 2147483648, "after": 844 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 24, "cases": [ { "before": 0, "after": 845 }, { "before": 42, "after": 845 }, { "before": 4294967295, "after": 845 }, { "before": 2147483648, "after": 845 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 30, "cases": [ { "before": 0, "after": 846 }, { "before": 42, "after": 846 }, { "before": 4294967295, "after": 846 }, { "before": 2147483648, "after": 846 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 35, "cases": [ { "before": 0, "after": 847 }, { "before": 42, "after": 847 }, { "before": 4294967295, "after": 847 }, { "before": 2147483648, "after": 847 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 41, "cases": [ { "before": 0, "after": 848 }, { "before": 42, "after": 848 }, { "before": 4294967295, "after": 848 }, { "before": 2147483648, "after": 848 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 46, "cases": [ { "before": 0, "after": 849 }, { "before": 42, "after": 849 }, { "before": 4294967295, "after": 849 }, { "before": 2147483648, "after": 849 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 51, "cases": [ { "before": 0, "after": 850 }, { "before": 42, "after": 850 }, { "before": 4294967295, "after": 850 }, { "before": 2147483648, "after": 850 } ] }, { "program": "retail/tfx", "function": "todf22", "node": 55, "cases": [ { "before": 0, "after": 200000 }, { "before": 42, "after": 200042 }, { "before": 4294967295, "after": 199999 }, { "before": 2147483648, "after": 2147683648 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 3, "cases": [ { "before": 0, "after": 821 }, { "before": 42, "after": 821 }, { "before": 4294967295, "after": 821 }, { "before": 2147483648, "after": 821 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 8, "cases": [ { "before": 0, "after": 822 }, { "before": 42, "after": 822 }, { "before": 4294967295, "after": 822 }, { "before": 2147483648, "after": 822 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 14, "cases": [ { "before": 0, "after": 823 }, { "before": 42, "after": 823 }, { "before": 4294967295, "after": 823 }, { "before": 2147483648, "after": 823 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 19, "cases": [ { "before": 0, "after": 824 }, { "before": 42, "after": 824 }, { "before": 4294967295, "after": 824 }, { "before": 2147483648, "after": 824 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 24, "cases": [ { "before": 0, "after": 825 }, { "before": 42, "after": 825 }, { "before": 4294967295, "after": 825 }, { "before": 2147483648, "after": 825 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 29, "cases": [ { "before": 0, "after": 826 }, { "before": 42, "after": 826 }, { "before": 4294967295, "after": 826 }, { "before": 2147483648, "after": 826 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 35, "cases": [ { "before": 0, "after": 827 }, { "before": 42, "after": 827 }, { "before": 4294967295, "after": 827 }, { "before": 2147483648, "after": 827 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 40, "cases": [ { "before": 0, "after": 828 }, { "before": 42, "after": 828 }, { "before": 4294967295, "after": 828 }, { "before": 2147483648, "after": 828 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 45, "cases": [ { "before": 0, "after": 829 }, { "before": 42, "after": 829 }, { "before": 4294967295, "after": 829 }, { "before": 2147483648, "after": 829 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 50, "cases": [ { "before": 0, "after": 830 }, { "before": 42, "after": 830 }, { "before": 4294967295, "after": 830 }, { "before": 2147483648, "after": 830 } ] }, { "program": "retail/tfx", "function": "todf17", "node": 54, "cases": [ { "before": 0, "after": 200000 }, { "before": 42, "after": 200042 }, { "before": 4294967295, "after": 199999 }, { "before": 2147483648, "after": 2147683648 } ] }, { "program": "retail/tfx", "function": "mia", "node": 14, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "mia", "node": 15, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "mia", "node": 17, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "retail/tfx", "function": "death1", "node": 5, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "death1", "node": 6, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "death1", "node": 8, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "retail/tfx", "function": "commander", "node": 0, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "retail/tfx", "function": "mission", "node": 0, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "mission", "node": 1, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "outcomes", "node": 6, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "retail/tfx", "function": "outcomes", "node": 12, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "retail/tfx", "function": "outcomes", "node": 13, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "outcomes", "node": 18, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "retail/tfx", "function": "eject_ok", "node": 5, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "retail/tfx", "function": "promote", "node": 3, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "retail/tfx", "function": "promote", "node": 5, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 43 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 2147483649 } ] }, { "program": "retail/tfx", "function": "promote", "node": 6, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "un-defeat", "node": 10, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "un-defeat", "node": 11, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "retail/tfx", "function": "un-defeat", "node": 13, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "pcplus/cd_mag", "function": "main", "node": 6, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "pcplus/cd_mag", "function": "main", "node": 8, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "pcplus/cd_mag", "function": "main", "node": 9, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "pcplus/cd_mag", "function": "fws", "node": 0, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "pcplus/cd_mag", "function": "fws", "node": 6, "cases": [ { "before": 0, "after": 501 }, { "before": 42, "after": 501 }, { "before": 4294967295, "after": 501 }, { "before": 2147483648, "after": 501 } ] }, { "program": "pcplus/cd_mag", "function": "fws", "node": 10, "cases": [ { "before": 0, "after": 10000 }, { "before": 42, "after": 10042 }, { "before": 4294967295, "after": 9999 }, { "before": 2147483648, "after": 2147493648 } ] }, { "program": "pcplus/cd_mag", "function": "fws", "node": 13, "cases": [ { "before": 0, "after": 504 }, { "before": 42, "after": 504 }, { "before": 4294967295, "after": 504 }, { "before": 2147483648, "after": 504 } ] }, { "program": "pcplus/cd_mag", "function": "fws", "node": 19, "cases": [ { "before": 0, "after": 505 }, { "before": 42, "after": 505 }, { "before": 4294967295, "after": 505 }, { "before": 2147483648, "after": 505 } ] }, { "program": "pcplus/cd_mag", "function": "fws", "node": 24, "cases": [ { "before": 0, "after": 506 }, { "before": 42, "after": 506 }, { "before": 4294967295, "after": 506 }, { "before": 2147483648, "after": 506 } ] }, { "program": "pcplus/cd_mag", "function": "fws", "node": 29, "cases": [ { "before": 0, "after": 510 }, { "before": 42, "after": 510 }, { "before": 4294967295, "after": 510 }, { "before": 2147483648, "after": 510 } ] }, { "program": "pcplus/cd_mag", "function": "fws", "node": 34, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "pcplus/cd_mag", "function": "fws", "node": 38, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 1, "cases": [ { "before": 0, "after": 961 }, { "before": 42, "after": 961 }, { "before": 4294967295, "after": 961 }, { "before": 2147483648, "after": 961 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 12, "cases": [ { "before": 0, "after": 962 }, { "before": 42, "after": 962 }, { "before": 4294967295, "after": 962 }, { "before": 2147483648, "after": 962 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 20, "cases": [ { "before": 0, "after": 963 }, { "before": 42, "after": 963 }, { "before": 4294967295, "after": 963 }, { "before": 2147483648, "after": 963 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 25, "cases": [ { "before": 0, "after": 964 }, { "before": 42, "after": 964 }, { "before": 4294967295, "after": 964 }, { "before": 2147483648, "after": 964 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 30, "cases": [ { "before": 0, "after": 965 }, { "before": 42, "after": 965 }, { "before": 4294967295, "after": 965 }, { "before": 2147483648, "after": 965 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 35, "cases": [ { "before": 0, "after": 966 }, { "before": 42, "after": 966 }, { "before": 4294967295, "after": 966 }, { "before": 2147483648, "after": 966 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 40, "cases": [ { "before": 0, "after": 967 }, { "before": 42, "after": 967 }, { "before": 4294967295, "after": 967 }, { "before": 2147483648, "after": 967 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 45, "cases": [ { "before": 0, "after": 968 }, { "before": 42, "after": 968 }, { "before": 4294967295, "after": 968 }, { "before": 2147483648, "after": 968 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 52, "cases": [ { "before": 0, "after": 969 }, { "before": 42, "after": 969 }, { "before": 4294967295, "after": 969 }, { "before": 2147483648, "after": 969 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 57, "cases": [ { "before": 0, "after": 970 }, { "before": 42, "after": 970 }, { "before": 4294967295, "after": 970 }, { "before": 2147483648, "after": 970 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 71, "cases": [ { "before": 0, "after": 971 }, { "before": 42, "after": 971 }, { "before": 4294967295, "after": 971 }, { "before": 2147483648, "after": 971 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 81, "cases": [ { "before": 0, "after": 972 }, { "before": 42, "after": 972 }, { "before": 4294967295, "after": 972 }, { "before": 2147483648, "after": 972 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 89, "cases": [ { "before": 0, "after": 973 }, { "before": 42, "after": 973 }, { "before": 4294967295, "after": 973 }, { "before": 2147483648, "after": 973 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 100, "cases": [ { "before": 0, "after": 974 }, { "before": 42, "after": 974 }, { "before": 4294967295, "after": 974 }, { "before": 2147483648, "after": 974 } ] }, { "program": "pcplus/cd_mag", "function": "soapyug2", "node": 105, "cases": [ { "before": 0, "after": 975 }, { "before": 42, "after": 975 }, { "before": 4294967295, "after": 975 }, { "before": 2147483648, "after": 975 } ] }, { "program": "pcplus/cd_mag", "function": "soapsea", "node": 14, "cases": [ { "before": 0, "after": 981 }, { "before": 42, "after": 981 }, { "before": 4294967295, "after": 981 }, { "before": 2147483648, "after": 981 } ] }, { "program": "pcplus/cd_mag", "function": "soapsea", "node": 19, "cases": [ { "before": 0, "after": 982 }, { "before": 42, "after": 982 }, { "before": 4294967295, "after": 982 }, { "before": 2147483648, "after": 982 } ] }, { "program": "pcplus/cd_mag", "function": "soapsea", "node": 26, "cases": [ { "before": 0, "after": 983 }, { "before": 42, "after": 983 }, { "before": 4294967295, "after": 983 }, { "before": 2147483648, "after": 983 } ] }, { "program": "pcplus/cd_mag", "function": "soapsea", "node": 33, "cases": [ { "before": 0, "after": 984 }, { "before": 42, "after": 984 }, { "before": 4294967295, "after": 984 }, { "before": 2147483648, "after": 984 } ] }, { "program": "pcplus/cd_mag", "function": "soapsea", "node": 38, "cases": [ { "before": 0, "after": 985 }, { "before": 42, "after": 985 }, { "before": 4294967295, "after": 985 }, { "before": 2147483648, "after": 985 } ] }, { "program": "pcplus/cd_mag", "function": "soapsea", "node": 43, "cases": [ { "before": 0, "after": 986 }, { "before": 42, "after": 986 }, { "before": 4294967295, "after": 986 }, { "before": 2147483648, "after": 986 } ] }, { "program": "pcplus/cd_mag", "function": "soapsea", "node": 48, "cases": [ { "before": 0, "after": 987 }, { "before": 42, "after": 987 }, { "before": 4294967295, "after": 987 }, { "before": 2147483648, "after": 987 } ] }, { "program": "pcplus/cd_mag", "function": "soapsea", "node": 56, "cases": [ { "before": 0, "after": 988 }, { "before": 42, "after": 988 }, { "before": 4294967295, "after": 988 }, { "before": 2147483648, "after": 988 } ] }, { "program": "pcplus/cd_mag", "function": "soapsea", "node": 62, "cases": [ { "before": 0, "after": 200000 }, { "before": 42, "after": 200042 }, { "before": 4294967295, "after": 199999 }, { "before": 2147483648, "after": 2147683648 } ] }, { "program": "pcplus/cd_mag", "function": "mia", "node": 14, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "pcplus/cd_mag", "function": "mia", "node": 15, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "pcplus/cd_mag", "function": "mia", "node": 17, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "pcplus/cd_mag", "function": "death1", "node": 5, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "pcplus/cd_mag", "function": "death1", "node": 6, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "pcplus/cd_mag", "function": "death1", "node": 8, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "pcplus/cd_mag", "function": "commander", "node": 0, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "pcplus/cd_mag", "function": "mission", "node": 0, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "pcplus/cd_mag", "function": "mission", "node": 1, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "pcplus/cd_mag", "function": "outcomes", "node": 6, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "pcplus/cd_mag", "function": "outcomes", "node": 12, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "pcplus/cd_mag", "function": "outcomes", "node": 13, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "pcplus/cd_mag", "function": "outcomes", "node": 18, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "pcplus/cd_mag", "function": "eject_ok", "node": 5, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "pcplus/cd_mag", "function": "promote", "node": 3, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] }, { "program": "pcplus/cd_mag", "function": "promote", "node": 5, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 43 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 2147483649 } ] }, { "program": "pcplus/cd_mag", "function": "promote", "node": 6, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "pcplus/cd_mag", "function": "un-defeat", "node": 10, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "pcplus/cd_mag", "function": "un-defeat", "node": 11, "cases": [ { "before": 0, "after": 0 }, { "before": 42, "after": 0 }, { "before": 4294967295, "after": 0 }, { "before": 2147483648, "after": 0 } ] }, { "program": "pcplus/cd_mag", "function": "un-defeat", "node": 13, "cases": [ { "before": 0, "after": 1 }, { "before": 42, "after": 1 }, { "before": 4294967295, "after": 1 }, { "before": 2147483648, "after": 1 } ] } ], "scope": "Every authored branch and assignment in the retained retail/demo graphs, using numeric input states and original native handlers. Gosub stack returns are checked. This does not supply outcomes for flight, menus or mission-script expressions." }