From fa15571f84a42d6cb61aa0b02305769cfcd262a5 Mon Sep 17 00:00:00 2001 From: Walter Bender Date: Thu, 07 Nov 2013 01:26:34 +0000 Subject: use int in display of factors --- (limited to 'samples') diff --git a/samples/math-prime-factors.ta b/samples/math-prime-factors.ta index 0e663d8..2d6fef8 100644 --- a/samples/math-prime-factors.ta +++ b/samples/math-prime-factors.ta @@ -1,62 +1,62 @@ [[0, ["start", 2.0], 120, 180, [null, 469]], -[1, ["while", 0], 258, 556, [4, 5, 11, 151]], +[1, ["while", 0], 223, 532, [4, 5, 11, 151]], [2, ["storein", 0], 139, 714, [261, 3, 268, 272]], -[3, ["string", "n"], 206, 714, [2, null]], -[4, ["vspace", 0], 258, 514, [149, 1]], -[5, ["greater2", 0], 314, 522, [1, 6, 8, null]], -[6, "box", 360, 522, [5, 7, null]], -[7, ["string", "n"], 414, 522, [6, null]], -[8, ["number", 1], 384, 564, [5, null]], +[3, ["string", "n"], 207, 714, [2, null]], +[4, ["vspace", 0], 223, 490, [149, 1]], +[5, ["greater2", 0], 279, 498, [1, 6, 8, null]], +[6, "box", 335, 498, [5, 7, null]], +[7, ["string", "n"], 390, 498, [6, null]], +[8, ["number", 1], 359, 540, [5, null]], [9, "hat", 340, 180, [null, 10, 85]], [10, ["string", "get next prime factor"], 398, 192, [9, null]], -[11, "stack", 276, 622, [1, 12, null]], -[12, ["string", "get next prime factor"], 334, 622, [11, null]], -[13, "box", 510, 1034, [87, 14, null]], -[14, ["string", "factor"], 564, 1034, [13, null]], -[15, "box", 564, 1118, [19, 16, null]], -[16, ["string", "n"], 618, 1118, [15, null]], -[17, ["storein", 0], 443, 1076, [87, 18, 19, null]], -[18, ["string", "n"], 510, 1076, [17, null]], -[19, ["division2", 0], 510, 1118, [17, 15, 20]], -[20, "box", 588, 1160, [19, 21, null]], -[21, ["string", "factor"], 642, 1160, [20, null]], +[11, "stack", 241, 598, [1, 12, null]], +[12, ["string", "get next prime factor"], 299, 598, [11, null]], +[13, "box", 546, 1058, [87, 14, null]], +[14, ["string", "factor"], 601, 1058, [13, null]], +[15, "box", 616, 1142, [19, 16, null]], +[16, ["string", "n"], 671, 1142, [15, null]], +[17, ["storein", 0], 478, 1100, [87, 18, 19, null]], +[18, ["string", "n"], 546, 1100, [17, null]], +[19, ["division2", 0], 546, 1142, [17, 15, 20]], +[20, "box", 640, 1184, [19, 21, null]], +[21, ["string", "factor"], 695, 1184, [20, null]], [22, ["storein", 0], 341, 310, [141, 23, 24, null]], -[23, ["string", "factor"], 408, 310, [22, null]], -[24, ["number", 2], 408, 352, [22, null]], +[23, ["string", "factor"], 409, 310, [22, null]], +[24, ["number", 2], 409, 352, [22, null]], [25, ["storein", 0], 323, 514, [141, 26, 34, 36]], -[26, ["string", "max"], 390, 514, [25, null]], -[27, "box", 552, 556, [30, 28, null]], -[28, ["string", "n"], 606, 556, [27, null]], -[29, "int", 444, 556, [34, 30]], -[30, "sqrt", 498, 556, [29, 27]], +[26, ["string", "max"], 391, 514, [25, null]], +[27, "box", 553, 556, [30, 28, null]], +[28, ["string", "n"], 608, 556, [27, null]], +[29, "int", 445, 556, [34, 30]], +[30, "sqrt", 499, 556, [29, 27]], [31, ["while", 146], 323, 766, [71, 47, 70, 84]], -[32, ["plus2", 0], 408, 1124, [39, 37, 33]], -[33, ["number", 1], 462, 1166, [32, null]], -[34, ["plus2", 0], 390, 556, [25, 29, 35]], -[35, ["number", 1], 444, 598, [34, null]], +[32, ["plus2", 0], 409, 1124, [39, 37, 33]], +[33, ["number", 1], 463, 1166, [32, null]], +[34, ["plus2", 0], 391, 556, [25, 29, 35]], +[35, ["number", 1], 445, 598, [34, null]], [36, ["vspace", 0], 323, 598, [25, 76]], -[37, "box", 462, 1124, [32, 38, null]], -[38, ["string", "factor"], 516, 1124, [37, null]], +[37, "box", 463, 1124, [32, 38, null]], +[38, ["string", "factor"], 518, 1124, [37, null]], [39, ["storein", 0], 341, 1082, [42, 40, 32, null]], -[40, ["string", "factor"], 408, 1082, [39, null]], +[40, ["string", "factor"], 409, 1082, [39, null]], [41, "stopstack", 359, 1022, [63, null]], [42, ["if", 21], 341, 914, [70, 48, 63, 39]], -[43, "box", 425, 732, [47, 44, null]], -[44, ["string", "factor"], 479, 732, [43, null]], -[45, "box", 449, 774, [47, 46, null]], -[46, ["string", "max"], 503, 774, [45, null]], +[43, "box", 435, 732, [47, 44, null]], +[44, ["string", "factor"], 490, 732, [43, null]], +[45, "box", 459, 774, [47, 46, null]], +[46, ["string", "max"], 514, 774, [45, null]], [47, ["less2", 0], 379, 732, [31, 43, 45, null]], [48, ["equal2", 20], 397, 840, [42, 50, 49, null]], -[49, ["number", 0], 443, 922, [48, null]], -[50, ["remainder2", 0], 443, 840, [48, 51, 53]], -[51, "box", 503, 840, [50, 52, null]], -[52, ["string", "n"], 557, 840, [51, null]], -[53, "box", 527, 882, [50, 54, null]], -[54, ["string", "factor"], 581, 882, [53, null]], +[49, ["number", 0], 453, 922, [48, null]], +[50, ["remainder2", 0], 453, 840, [48, 51, 53]], +[51, "box", 513, 840, [50, 52, null]], +[52, ["string", "n"], 568, 840, [51, null]], +[53, "box", 537, 882, [50, 54, null]], +[54, ["string", "factor"], 592, 882, [53, null]], [55, ["storein", 0], 359, 1440, [65, 56, 57, 61]], -[56, ["string", "factor"], 426, 1440, [55, null]], -[57, "box", 426, 1482, [55, 58, null]], -[58, ["string", "n"], 480, 1482, [57, null]], +[56, ["string", "factor"], 427, 1440, [55, null]], +[57, "box", 427, 1482, [55, 58, null]], +[58, ["string", "n"], 482, 1482, [57, null]], [59, "hat", 460, 240, [null, 60, 86]], [60, ["string", "push factor"], 518, 252, [59, null]], [61, "stack", 359, 1524, [55, 62, null]], @@ -64,370 +64,370 @@ [63, "stack", 359, 980, [42, 64, 41]], [64, ["string", "push factor"], 417, 980, [63, null]], [65, ["if", 42], 341, 1374, [69, 72, 55, null]], -[66, ["number", 1], 467, 1382, [72, null]], -[67, "box", 443, 1340, [72, 68, null]], -[68, ["string", "n"], 497, 1340, [67, null]], +[66, ["number", 1], 477, 1382, [72, null]], +[67, "box", 453, 1340, [72, 68, null]], +[68, ["string", "n"], 508, 1340, [67, null]], [69, ["vspace", 0], 341, 1332, [79, 65]], [70, ["vspace", 20], 341, 832, [31, 42]], [71, ["vspace", 0], 323, 724, [76, 31]], [72, ["greater2", 0], 397, 1340, [65, 67, 66, null]], -[73, ["storein", 0], 443, 908, [351, 74, 75, 87]], -[74, ["string", "new factor"], 510, 908, [73, null]], -[75, ["number", 1], 510, 950, [73, null]], +[73, ["storein", 0], 478, 932, [351, 74, 75, 87]], +[74, ["string", "new factor"], 546, 932, [73, null]], +[75, ["number", 1], 546, 974, [73, null]], [76, ["storein", 0], 323, 640, [36, 77, 78, 71]], -[77, ["string", "new factor"], 390, 640, [76, null]], -[78, ["number", 0], 390, 682, [76, null]], +[77, ["string", "new factor"], 391, 640, [76, null]], +[78, ["number", 0], 391, 682, [76, null]], [79, ["if", 105], 323, 1266, [84, 80, 69, null]], [80, ["equal2", 0], 379, 1232, [79, 82, 81, null]], -[81, ["number", 0], 425, 1274, [80, null]], -[82, "box", 425, 1232, [80, 83, null]], -[83, ["string", "new factor"], 479, 1232, [82, null]], +[81, ["number", 0], 435, 1274, [80, null]], +[82, "box", 435, 1232, [80, 83, null]], +[83, ["string", "new factor"], 490, 1232, [82, null]], [84, ["vspace", 20], 323, 1184, [31, 79]], [85, "sandwichclampcollapsed", 340, 234, [9, 141, null]], [86, "sandwichclampcollapsed", 460, 294, [59, 227, null]], -[87, ["storein", 0], 443, 992, [73, 96, 13, 17]], -[88, ["number", 1], 564, 472, [89, null]], -[89, ["plus2", 0], 510, 430, [98, 94, 88]], -[90, ["vspace", 20], 443, 472, [98, 345]], -[91, ["storein", 0], 258, 388, [286, 92, 93, 149]], -[92, ["string", "count"], 325, 388, [91, null]], -[93, ["number", 0], 325, 430, [91, null]], -[94, "box", 564, 430, [89, 95, null]], -[95, ["string", "count"], 618, 430, [94, null]], -[96, "box", 510, 992, [87, 97, null]], -[97, ["string", "count"], 564, 992, [96, null]], -[98, ["storein", 0], 443, 388, [232, 99, 89, 90]], -[99, ["string", "count"], 510, 388, [98, null]], -[100, ["storein", 0], 258, 808, [153, 101, 102, 385]], -[101, ["string", "radius"], 325, 808, [100, null]], -[102, ["number", 400], 325, 850, [100, null]], -[103, ["string", "i"], 673, 636, [189, null]], +[87, ["storein", 0], 478, 1016, [73, 96, 13, 17]], +[88, ["number", 1], 600, 496, [89, null]], +[89, ["plus2", 0], 546, 454, [98, 94, 88]], +[90, ["vspace", 20], 478, 496, [98, 345]], +[91, ["storein", 0], 223, 364, [286, 92, 93, 149]], +[92, ["string", "count"], 291, 364, [91, null]], +[93, ["number", 0], 291, 406, [91, null]], +[94, "box", 600, 454, [89, 95, null]], +[95, ["string", "count"], 655, 454, [94, null]], +[96, "box", 546, 1016, [87, 97, null]], +[97, ["string", "count"], 601, 1016, [96, null]], +[98, ["storein", 0], 478, 412, [232, 99, 89, 90]], +[99, ["string", "count"], 546, 412, [98, null]], +[100, ["storein", 0], 223, 784, [153, 101, 102, 385]], +[101, ["string", "radius"], 291, 784, [100, null]], +[102, ["number", 400], 291, 826, [100, null]], +[103, ["string", "i"], 684, 636, [189, null]], [104, "seth", 583, 564, [453, 238, 174]], -[105, ["number", 360], 749, 606, [106, null]], +[105, ["number", 360], 765, 606, [106, null]], [106, ["division2", 0], 695, 606, [238, 105, 188]], [107, "forward", 583, 688, [174, 111, 162]], [108, "forward", 703, 728, [405, 109, 249]], -[109, ["number", 1], 773, 728, [108, null]], +[109, ["number", 1], 774, 728, [108, null]], [110, "back", 583, 958, [157, 113, null]], -[111, "box", 653, 688, [107, 112, null]], -[112, ["string", "radius"], 707, 688, [111, null]], +[111, "box", 654, 688, [107, 112, null]], +[112, ["string", "radius"], 709, 688, [111, null]], [113, "box", 641, 958, [110, 114, null]], -[114, ["string", "radius"], 695, 958, [113, null]], +[114, ["string", "radius"], 696, 958, [113, null]], [115, "hat", 900, 300, [null, 116, 126]], [116, ["string", "increment color"], 958, 312, [115, null]], [117, "stack", 703, 812, [249, 118, 399]], [118, ["string", "increment color"], 761, 812, [117, null]], [119, "setcolor", 883, 364, [126, 125, null]], -[120, ["number", 100], 1068, 406, [122, null]], +[120, ["number", 100], 1084, 406, [122, null]], [121, "color", 1014, 364, [125, null]], [122, ["division2", 0], 1014, 406, [125, 120, 123]], -[123, "box", 1092, 448, [122, 124, null]], -[124, ["string", "number"], 1146, 448, [123, null]], +[123, "box", 1108, 448, [122, 124, null]], +[124, ["string", "number"], 1163, 448, [123, null]], [125, ["plus2", 0], 960, 364, [119, 121, 122]], [126, "sandwichclampcollapsed", 900, 354, [115, 119, null]], [127, ["until", 62], 463, 710, [136, 132, 451, null]], [128, ["storein", 20], 481, 818, [451, 186, 236, null]], -[129, ["string", "i"], 602, 818, [186, null]], -[130, "box", 602, 942, [236, 187, null]], -[131, ["string", "i"], 710, 942, [187, null]], +[129, ["string", "i"], 603, 818, [186, null]], +[130, "box", 603, 942, [236, 187, null]], +[131, ["string", "i"], 712, 942, [187, null]], [132, ["equal2", 20], 519, 636, [127, 133, 155, null]], -[133, "box", 565, 636, [132, 189, null]], +[133, "box", 575, 636, [132, 189, null]], [134, "hat", 360, 360, [null, 135, 215]], [135, ["string", "draw cluster"], 418, 372, [134, null]], [136, ["vspace", 20], 463, 628, [180, 127]], -[137, "stack", 258, 1268, [407, 138, 296]], -[138, ["string", "draw cluster"], 316, 1268, [137, null]], -[139, "box", 425, 210, [142, 140, null]], -[140, ["string", "count"], 479, 210, [139, null]], +[137, "stack", 223, 1244, [407, 138, 296]], +[138, ["string", "draw cluster"], 281, 1244, [137, null]], +[139, "box", 435, 210, [142, 140, null]], +[140, ["string", "count"], 490, 210, [139, null]], [141, ["ifelse", [21, 21]], 323, 244, [85, 142, 22, 144, 25]], [142, ["equal2", 0], 379, 210, [141, 139, 143, null]], -[143, ["number", 0], 425, 252, [142, null]], +[143, ["number", 0], 435, 252, [142, null]], [144, ["storein", 0], 341, 412, [141, 145, 148, null]], -[145, ["string", "factor"], 408, 412, [144, null]], -[146, "box", 462, 454, [148, 147, null]], -[147, ["string", "count"], 516, 454, [146, null]], -[148, "box", 408, 454, [144, 146, null]], -[149, "comment", 258, 472, [91, 150, 4]], -[150, ["string", "calculate prime factors"], 341, 472, [149, null]], -[151, "comment", 258, 682, [1, 152, 153]], -[152, ["string", "display prime factors"], 341, 682, [151, null]], -[153, ["storein", 0], 258, 724, [151, 154, 175, 100]], -[154, ["string", "level"], 325, 724, [153, null]], -[155, "box", 565, 718, [132, 182, null]], -[156, ["string", "i"], 584, 504, [177, null]], +[145, ["string", "factor"], 409, 412, [144, null]], +[146, "box", 464, 454, [148, 147, null]], +[147, ["string", "count"], 519, 454, [146, null]], +[148, "box", 409, 454, [144, 146, null]], +[149, "comment", 223, 448, [91, 150, 4]], +[150, ["string", "calculate prime factors"], 306, 448, [149, null]], +[151, "comment", 223, 658, [1, 152, 153]], +[152, ["string", "display prime factors"], 306, 658, [151, null]], +[153, ["storein", 0], 223, 700, [151, 154, 175, 100]], +[154, ["string", "level"], 291, 700, [153, null]], +[155, "box", 575, 718, [132, 182, null]], +[156, ["string", "i"], 585, 504, [177, null]], [157, ["ifelse", [0, 0]], 583, 772, [162, 158, 443, 445, 110]], [158, ["equal2", 0], 639, 738, [157, 163, 159, null]], -[159, ["number", 1], 685, 780, [158, null]], +[159, ["number", 1], 695, 780, [158, null]], [160, "stack", 923, 770, [226, 161, 218]], [161, ["string", "draw cluster"], 981, 770, [160, null]], [162, ["vspace", 0], 583, 730, [107, 157]], -[163, "box", 685, 738, [158, 164, null]], -[164, ["string", "level"], 739, 738, [163, null]], +[163, "box", 695, 738, [158, 164, null]], +[164, ["string", "level"], 750, 738, [163, null]], [165, ["storein", 0], 163, 832, [362, 199, 172, 173]], -[166, ["number", 2.5], 308, 916, [172, null]], -[167, "box", 284, 874, [172, 195, null]], +[166, ["number", 2.5], 325, 916, [172, null]], +[167, "box", 301, 874, [172, 195, null]], [168, ["storein", 0], 181, 1064, [375, 169, 401, null]], -[169, ["string", "radius"], 248, 1064, [168, null]], -[170, "box", 265, 964, [376, 171, null]], -[171, ["string", "radius"], 319, 964, [170, null]], -[172, ["division2", 0], 230, 874, [165, 167, 166]], +[169, ["string", "radius"], 249, 1064, [168, null]], +[170, "box", 275, 964, [376, 171, null]], +[171, ["string", "radius"], 330, 964, [170, null]], +[172, ["division2", 0], 231, 874, [165, 167, 166]], [173, ["vspace", 20], 163, 916, [165, 375]], [174, ["vspace", 20], 583, 606, [104, 107]], -[175, "box", 325, 766, [153, 176, null]], -[176, ["string", "count"], 379, 766, [175, null]], -[177, ["plus2", 0], 530, 504, [180, 156, 178]], -[178, "box", 584, 546, [177, 179, null]], -[179, ["string", "level"], 638, 546, [178, null]], +[175, "box", 291, 742, [153, 176, null]], +[176, ["string", "count"], 346, 742, [175, null]], +[177, ["plus2", 0], 531, 504, [180, 156, 178]], +[178, "box", 585, 546, [177, 179, null]], +[179, ["string", "level"], 640, 546, [178, null]], [180, ["storein", 20], 463, 504, [206, 177, 181, 136]], -[181, ["number", 0], 530, 586, [180, null]], -[182, "box", 619, 718, [155, 183, null]], -[183, ["string", "level"], 673, 718, [182, null]], -[184, "box", 602, 860, [186, 185, null]], -[185, ["string", "level"], 656, 860, [184, null]], -[186, ["plus2", 0], 548, 818, [128, 129, 184]], -[187, ["plus2", 0], 656, 942, [130, 131, 234]], -[188, "box", 773, 648, [106, 192, null]], -[189, ["plus2", 0], 619, 636, [133, 103, 190]], -[190, "box", 673, 678, [189, 191, null]], -[191, ["string", "level"], 727, 678, [190, null]], -[192, "box", 827, 648, [188, 193, null]], -[193, ["string", "level"], 881, 648, [192, null]], -[194, ["plus2", 0], 230, 584, [204, 202, 196]], -[195, ["string", "radius"], 338, 874, [167, null]], -[196, "box", 284, 626, [194, 197, null]], -[197, ["string", "level"], 338, 626, [196, null]], -[198, ["plus2", 0], 415, 770, [207, 203, 200]], -[199, ["string", "radius"], 230, 832, [165, null]], -[200, "box", 469, 812, [198, 201, null]], -[201, ["string", "level"], 523, 812, [200, null]], -[202, ["string", "heading"], 284, 584, [194, null]], -[203, ["string", "heading"], 469, 770, [198, null]], +[181, ["number", 0], 531, 586, [180, null]], +[182, "box", 630, 718, [155, 183, null]], +[183, ["string", "level"], 685, 718, [182, null]], +[184, "box", 603, 860, [186, 185, null]], +[185, ["string", "level"], 658, 860, [184, null]], +[186, ["plus2", 0], 549, 818, [128, 129, 184]], +[187, ["plus2", 0], 658, 942, [130, 131, 234]], +[188, "box", 789, 648, [106, 192, null]], +[189, ["plus2", 0], 630, 636, [133, 103, 190]], +[190, "box", 684, 678, [189, 191, null]], +[191, ["string", "level"], 739, 678, [190, null]], +[192, "box", 844, 648, [188, 193, null]], +[193, ["string", "level"], 899, 648, [192, null]], +[194, ["plus2", 0], 231, 584, [204, 202, 196]], +[195, ["string", "radius"], 356, 874, [167, null]], +[196, "box", 285, 626, [194, 197, null]], +[197, ["string", "level"], 340, 626, [196, null]], +[198, ["plus2", 0], 416, 770, [207, 203, 200]], +[199, ["string", "radius"], 231, 832, [165, null]], +[200, "box", 470, 812, [198, 201, null]], +[201, ["string", "level"], 525, 812, [200, null]], +[202, ["string", "heading"], 285, 584, [194, null]], +[203, ["string", "heading"], 470, 770, [198, null]], [204, ["storein", 20], 163, 584, [254, 194, 216, 362]], [205, "seth", 303, 770, [374, 207, null]], [206, "sandwichclampcollapsed", 480, 494, [208, 180, null]], [207, "box", 361, 770, [205, 198, null]], [208, "hat", 480, 440, [null, 209, 206]], [209, ["string", "inner loop"], 538, 452, [208, null]], -[210, "stack", 378, 574, [241, 211, 245]], -[211, ["string", "inner loop"], 436, 574, [210, null]], -[212, ["number", 1], 1068, 728, [217, null]], -[213, ["plus2", 0], 990, 854, [218, 222, 214]], -[214, ["number", 1], 1044, 896, [213, null]], +[210, "stack", 343, 550, [241, 211, 245]], +[211, ["string", "inner loop"], 401, 550, [210, null]], +[212, ["number", 1], 1088, 728, [217, null]], +[213, ["plus2", 0], 991, 854, [218, 222, 214]], +[214, ["number", 1], 1045, 896, [213, null]], [215, "sandwichclampcollapsed", 360, 414, [134, 352, null]], -[216, "heading", 230, 666, [204, null]], -[217, ["minus2", 0], 990, 686, [220, 224, 212]], +[216, "heading", 231, 666, [204, null]], +[217, ["minus2", 0], 991, 686, [220, 224, 212]], [218, ["storein", 0], 923, 812, [160, 219, 213, null]], -[219, ["string", "level"], 990, 812, [218, null]], +[219, ["string", "level"], 991, 812, [218, null]], [220, ["storein", 0], 923, 644, [447, 221, 217, 226]], -[221, ["string", "level"], 990, 644, [220, null]], -[222, "box", 1044, 854, [213, 223, null]], -[223, ["string", "level"], 1098, 854, [222, null]], -[224, "box", 1044, 686, [217, 225, null]], -[225, ["string", "level"], 1098, 686, [224, null]], +[221, ["string", "level"], 991, 644, [220, null]], +[222, "box", 1045, 854, [213, 223, null]], +[223, ["string", "level"], 1100, 854, [222, null]], +[224, "box", 1064, 686, [217, 225, null]], +[225, ["string", "level"], 1119, 686, [224, null]], [226, ["vspace", 0], 923, 728, [220, 160]], -[227, "comment", 443, 304, [86, 228, 232]], -[228, ["plus2", 0], 526, 304, [227, 229, 230]], -[229, ["string", "factor "], 580, 304, [228, null]], -[230, "box", 580, 346, [228, 231, null]], -[231, ["string", "factor"], 634, 346, [230, null]], -[232, ["vspace", 0], 443, 346, [227, 98]], -[233, ["number", 1], 602, 900, [236, null]], -[234, "box", 710, 984, [187, 235, null]], -[235, ["string", "level"], 764, 984, [234, null]], -[236, ["plus2", 0], 548, 900, [128, 233, 130]], +[227, "comment", 478, 328, [86, 228, 232]], +[228, ["plus2", 0], 561, 328, [227, 229, 230]], +[229, ["string", "factor "], 615, 328, [228, null]], +[230, "box", 615, 370, [228, 231, null]], +[231, ["string", "factor"], 670, 370, [230, null]], +[232, ["vspace", 0], 478, 370, [227, 98]], +[233, ["number", 1], 603, 900, [236, null]], +[234, "box", 712, 984, [187, 235, null]], +[235, ["string", "level"], 767, 984, [234, null]], +[236, ["plus2", 0], 549, 900, [128, 233, 130]], [237, "heading", 695, 564, [238, null]], [238, ["plus2", 0], 641, 564, [104, 237, 106]], [239, "hat", 180, 520, [null, 240, 254]], [240, ["string", "save level"], 238, 532, [239, null]], -[241, "stack", 378, 532, [360, 242, 210]], -[242, ["string", "save level"], 436, 532, [241, null]], +[241, "stack", 343, 508, [360, 242, 210]], +[242, ["string", "save level"], 401, 508, [241, null]], [243, "hat", 320, 580, [null, 244, 253]], [244, ["string", "restore level"], 378, 592, [243, null]], -[245, "stack", 378, 616, [210, 246, 355]], -[246, ["string", "restore level"], 436, 616, [245, null]], -[247, "comment", 258, 1394, [456, 248, null]], -[248, ["string", "done"], 341, 1394, [247, null]], +[245, "stack", 343, 592, [210, 246, 355]], +[246, ["string", "restore level"], 401, 592, [245, null]], +[247, "comment", 223, 1370, [456, 248, null]], +[248, ["string", "done"], 306, 1370, [247, null]], [249, "back", 703, 770, [108, 250, 117]], [250, ["number", 1], 761, 770, [249, null]], -[251, "setpensize", 258, 1142, [397, 396, 293]], -[252, ["division2", 0], 379, 1018, [470, 283, 281]], +[251, "setpensize", 223, 1118, [397, 396, 293]], +[252, ["division2", 0], 345, 994, [470, 283, 281]], [253, "sandwichclampcollapsed", 320, 634, [243, 372, null]], [254, "sandwichclampcollapsed", 180, 574, [239, 204, null]], [255, ["while", 168], 121, 522, [265, 259, 261, null]], [256, ["storein", 0], 121, 396, [285, 257, 258, 265]], -[257, ["string", "number"], 188, 396, [256, null]], -[258, ["number", 2], 188, 438, [256, null]], +[257, ["string", "number"], 189, 396, [256, null]], +[258, ["number", 2], 189, 438, [256, null]], [259, ["less2", 0], 177, 488, [255, 266, 260, null]], -[260, ["number", 101], 247, 530, [259, null]], +[260, ["number", 101], 257, 530, [259, null]], [261, "fillscreen2", 139, 588, [255, 262, 264, 263, 2]], -[262, ["number", 60], 220, 588, [261, null]], -[263, ["number", 100], 220, 672, [261, null]], -[264, "black", 220, 630, [261, null]], +[262, ["number", 60], 221, 588, [261, null]], +[263, ["number", 100], 221, 672, [261, null]], +[264, "black", 221, 630, [261, null]], [265, ["vspace", 0], 121, 480, [256, 255]], -[266, "box", 223, 488, [259, 267, null]], -[267, ["string", "number"], 277, 488, [266, null]], -[268, "box", 206, 756, [2, 269, null]], -[269, ["string", "number"], 260, 756, [268, null]], +[266, "box", 233, 488, [259, 267, null]], +[267, ["string", "number"], 288, 488, [266, null]], +[268, "box", 207, 756, [2, 269, null]], +[269, ["string", "number"], 262, 756, [268, null]], [270, "hat", 240, 300, [null, 271, 286]], [271, ["string", "action"], 298, 312, [270, null]], [272, "stack", 139, 798, [2, 273, 461]], [273, ["string", "action"], 197, 798, [272, null]], [274, "wait", 981, 286, [463, 465, null]], [275, ["storein", 0], 139, 882, [461, 276, 280, null]], -[276, ["string", "number"], 206, 882, [275, null]], -[277, ["number", 1], 260, 966, [280, null]], -[278, "box", 260, 924, [280, 279, null]], -[279, ["string", "number"], 314, 924, [278, null]], -[280, ["plus2", 0], 206, 924, [275, 278, 277]], -[281, "box", 457, 1060, [252, 282, null]], -[282, ["string", "number"], 511, 1060, [281, null]], -[283, "box", 433, 1018, [252, 284, null]], -[284, ["string", "radius"], 487, 1018, [283, null]], +[276, ["string", "number"], 207, 882, [275, null]], +[277, ["number", 1], 261, 966, [280, null]], +[278, "box", 261, 924, [280, 279, null]], +[279, ["string", "number"], 316, 924, [278, null]], +[280, ["plus2", 0], 207, 924, [275, 278, 277]], +[281, "box", 439, 1036, [252, 282, null]], +[282, ["string", "number"], 494, 1036, [281, null]], +[283, "box", 415, 994, [252, 284, null]], +[284, ["string", "radius"], 470, 994, [283, null]], [285, ["forever", 273], 103, 362, [381, 256, null]], [286, "sandwichclampcollapsed", 240, 354, [270, 91, null]], -[287, "penup", 643, 328, [290, 298]], -[288, "pendown", 643, 454, [298, 305]], -[289, "leftpos", 701, 370, [298, null]], -[290, "setcolor", 643, 286, [379, 291, 287]], -[291, "white", 720, 286, [290, null]], -[292, "red", 335, 1184, [293, null]], -[293, "setcolor", 258, 1184, [251, 292, 407]], +[287, "penup", 678, 352, [290, 298]], +[288, "pendown", 678, 478, [298, 305]], +[289, "leftpos", 736, 394, [298, null]], +[290, "setcolor", 678, 310, [379, 291, 287]], +[291, "white", 755, 310, [290, null]], +[292, "red", 300, 1160, [293, null]], +[293, "setcolor", 223, 1160, [251, 292, 407]], [294, "hat", 660, 180, [null, 295, 318]], [295, ["string", "display factors"], 718, 192, [294, null]], -[296, "stack", 258, 1310, [137, 297, 456]], -[297, ["string", "display factors"], 316, 1310, [296, null]], -[298, ["setxy2", 0], 643, 370, [287, 289, 384, 288]], -[299, ["number", 100], 779, 454, [384, null]], -[300, "show", 661, 604, [304, 309, 327]], -[301, ["string", " prime"], 827, 688, [308, null]], -[302, ["equal2", 0], 699, 504, [304, 306, 303, null]], -[303, ["number", 1], 745, 546, [302, null]], +[296, "stack", 223, 1286, [137, 297, 456]], +[297, ["string", "display factors"], 281, 1286, [296, null]], +[298, ["setxy2", 0], 678, 394, [287, 289, 384, 288]], +[299, ["number", 100], 833, 478, [384, null]], +[300, "show", 696, 628, [304, 309, 327]], +[301, ["string", " prime"], 862, 712, [308, null]], +[302, ["equal2", 0], 734, 528, [304, 306, 303, null]], +[303, ["number", 1], 790, 570, [302, null]], [304, ["ifelse", [41, 0]], -643, 538, [305, 302, 300, 326, null]], -[305, ["vspace", 0], 643, 496, [288, 304]], -[306, "box", 745, 504, [302, 307, null]], -[307, ["string", "count"], 799, 504, [306, null]], -[308, ["plus2", 0], 773, 646, [309, 311, 301]], -[309, ["plus2", 0], 719, 604, [300, 310, 308]], -[310, ["string", " "], 773, 604, [309, null]], -[311, "box", 827, 646, [308, 312, null]], -[312, ["string", "number"], 881, 646, [311, null]], +678, 562, [305, 302, 300, 326, null]], +[305, ["vspace", 0], 678, 520, [288, 304]], +[306, "box", 790, 528, [302, 307, null]], +[307, ["string", "count"], 845, 528, [306, null]], +[308, ["plus2", 0], 808, 670, [309, 472, 301]], +[309, ["plus2", 0], 754, 628, [300, 310, 308]], +[310, ["string", " "], 808, 628, [309, null]], +[311, "box", 916, 670, [472, 312, null]], +[312, ["string", "number"], 971, 670, [311, null]], [313, ["setxy2", 0], 763, 846, [316, 314, 315, 317]], [314, ["number", 0], 821, 846, [313, null]], [315, ["number", 0], 821, 888, [313, null]], [316, "penup", 763, 804, [437, 313]], [317, "pendown", 763, 930, [313, null]], [318, "sandwichclampcollapsed", 660, 234, [294, 379, null]], -[319, ["plus2", 0], 719, 746, [326, 320, 321]], -[320, ["string", " "], 773, 746, [319, null]], -[321, ["plus2", 0], 773, 788, [319, 322, 325]], -[322, "box", 827, 788, [321, 323, null]], -[323, ["string", "number"], 881, 788, [322, null]], -[324, ["string", " = "], 881, 830, [325, null]], -[325, ["plus2", 0], 827, 830, [321, 324, 330]], -[326, "show", 661, 746, [304, 319, null]], -[327, ["vspace", 20], 661, 646, [300, null]], -[328, ["storein", 0], 461, 620, [345, 329, 334, 350]], -[329, ["string", "factor string"], 528, 620, [328, null]], -[330, "box", 881, 872, [325, 331, null]], -[331, ["string", "factor string"], 935, 872, [330, null]], -[332, "box", 582, 806, [342, 333, null]], -[333, ["string", "factor string"], 636, 806, [332, null]], -[334, ["plus2", 0], 528, 662, [328, 335, 338]], -[335, ["string", ""], 582, 662, [334, null]], -[336, ["string", " x "], 636, 848, [337, null]], -[337, ["plus2", 0], 582, 848, [342, 336, 340]], -[338, "box", 582, 704, [334, 339, null]], -[339, ["string", "factor"], 636, 704, [338, null]], -[340, "box", 636, 890, [337, 341, null]], -[341, ["string", "factor"], 690, 890, [340, null]], -[342, ["plus2", 0], 528, 806, [343, 332, 337]], -[343, ["storein", 0], 461, 764, [345, 344, 342, null]], -[344, ["string", "factor string"], 528, 764, [343, null]], +[319, ["plus2", 0], 754, 770, [326, 320, 321]], +[320, ["string", " "], 808, 770, [319, null]], +[321, ["plus2", 0], 808, 812, [319, 473, 325]], +[322, "box", 916, 812, [473, 323, null]], +[323, ["string", "number"], 971, 812, [322, null]], +[324, ["string", " = "], 916, 854, [325, null]], +[325, ["plus2", 0], 862, 854, [321, 324, 330]], +[326, "show", 696, 770, [304, 319, null]], +[327, ["vspace", 20], 696, 670, [300, null]], +[328, ["storein", 0], 496, 644, [345, 329, 334, 350]], +[329, ["string", "factor string"], 564, 644, [328, null]], +[330, "box", 916, 896, [325, 331, null]], +[331, ["string", "factor string"], 971, 896, [330, null]], +[332, "box", 618, 830, [342, 333, null]], +[333, ["string", "factor string"], 673, 830, [332, null]], +[334, ["plus2", 0], 564, 686, [328, 335, 474]], +[335, ["string", ""], 618, 686, [334, null]], +[336, ["string", " x "], 672, 872, [337, null]], +[337, ["plus2", 0], 618, 872, [342, 336, 475]], +[338, "box", 672, 728, [474, 339, null]], +[339, ["string", "factor"], 727, 728, [338, null]], +[340, "box", 726, 914, [475, 341, null]], +[341, ["string", "factor"], 781, 914, [340, null]], +[342, ["plus2", 0], 564, 830, [343, 332, 337]], +[343, ["storein", 0], 496, 788, [345, 344, 342, null]], +[344, ["string", "factor string"], 564, 788, [343, null]], [345, ["ifelse", [42, 21]], -443, 554, [90, 349, 328, 343, 351]], -[346, "box", 545, 520, [349, 347, null]], -[347, ["string", "count"], 599, 520, [346, null]], -[348, ["number", 1], 545, 562, [349, null]], -[349, ["equal2", 0], 499, 520, [345, 346, 348, null]], -[350, ["vspace", 0], 461, 704, [328, null]], -[351, ["vspace", 0], 443, 866, [345, 73]], -[352, "seth", 378, 448, [215, 358, 360]], -[353, ["number", 45], 490, 490, [358, null]], -[354, "heading", 490, 448, [358, null]], -[355, "seth", 378, 658, [245, 359, null]], -[356, ["number", 45], 514, 700, [359, null]], -[357, "heading", 490, 658, [359, null]], -[358, ["plus2", 0], 436, 448, [352, 354, 353]], -[359, ["minus2", 0], 436, 658, [355, 357, 356]], -[360, ["vspace", 0], 378, 490, [352, 241]], +478, 578, [90, 349, 328, 343, 351]], +[346, "box", 590, 544, [349, 347, null]], +[347, ["string", "count"], 645, 544, [346, null]], +[348, ["number", 1], 590, 586, [349, null]], +[349, ["equal2", 0], 534, 544, [345, 346, 348, null]], +[350, ["vspace", 0], 496, 728, [328, null]], +[351, ["vspace", 0], 478, 890, [345, 73]], +[352, "seth", 343, 424, [215, 358, 360]], +[353, ["number", 45], 455, 466, [358, null]], +[354, "heading", 455, 424, [358, null]], +[355, "seth", 343, 634, [245, 359, null]], +[356, ["number", 45], 498, 676, [359, null]], +[357, "heading", 474, 634, [359, null]], +[358, ["plus2", 0], 401, 424, [352, 354, 353]], +[359, ["minus2", 0], 401, 634, [355, 357, 356]], +[360, ["vspace", 0], 343, 466, [352, 241]], [361, "sandwichclampcollapsed", 120, 268, [469, 409, null]], [362, ["storein", 20], 163, 708, [204, 367, 377, 165]], -[363, ["string", "radius"], 284, 708, [367, null]], -[364, "box", 370, 686, [372, 368, null]], -[365, "box", 284, 750, [367, 366, null]], -[366, ["string", "level"], 338, 750, [365, null]], -[367, ["plus2", 0], 230, 708, [362, 363, 365]], -[368, ["plus2", 0], 424, 686, [364, 369, 370]], -[369, ["string", "radius"], 478, 686, [368, null]], -[370, "box", 478, 728, [368, 371, null]], -[371, ["string", "level"], 532, 728, [370, null]], +[363, ["string", "radius"], 285, 708, [367, null]], +[364, "box", 371, 686, [372, 368, null]], +[365, "box", 285, 750, [367, 366, null]], +[366, ["string", "level"], 340, 750, [365, null]], +[367, ["plus2", 0], 231, 708, [362, 363, 365]], +[368, ["plus2", 0], 426, 686, [364, 369, 370]], +[369, ["string", "radius"], 480, 686, [368, null]], +[370, "box", 480, 728, [368, 371, null]], +[371, ["string", "level"], 535, 728, [370, null]], [372, ["storein", 0], 303, 644, [253, 373, 364, 374]], -[373, ["string", "radius"], 370, 644, [372, null]], +[373, ["string", "radius"], 371, 644, [372, null]], [374, ["vspace", 0], 303, 728, [372, 205]], [375, ["if", 21], 163, 998, [173, 376, 168, null]], [376, ["less2", 0], 219, 964, [375, 170, 394, null]], -[377, "box", 230, 790, [362, 378, null]], -[378, ["string", "radius"], 284, 790, [377, null]], -[379, "seth", 643, 244, [318, 380, 290]], -[380, ["number", 0], 701, 244, [379, null]], +[377, "box", 231, 790, [362, 378, null]], +[378, ["string", "radius"], 286, 790, [377, null]], +[379, "seth", 678, 268, [318, 380, 290]], +[380, ["number", 0], 736, 268, [379, null]], [381, "setscale", 103, 320, [409, 382, 285]], [382, ["number", 75], 180, 320, [381, null]], -[383, "toppos", 755, 412, [384, null]], -[384, ["minus2", 0], 701, 412, [298, 383, 299]], -[385, "seth", 258, 892, [100, 386, 389]], -[386, ["random", 0], 316, 892, [385, 387, 388, null]], -[387, ["number", 0], 402, 892, [386, null]], -[388, ["number", 180], 402, 934, [386, null]], -[389, ["vspace", 0], 258, 934, [385, 390]], -[390, ["storein", 0], 258, 976, [389, 391, 470, 397]], -[391, ["string", "pensize"], 325, 976, [390, null]], +[383, "toppos", 809, 436, [384, null]], +[384, ["minus2", 0], 736, 436, [298, 383, 299]], +[385, "seth", 223, 868, [100, 386, 389]], +[386, ["random", 0], 281, 868, [385, 387, 388, null]], +[387, ["number", 0], 367, 868, [386, null]], +[388, ["number", 180], 367, 910, [386, null]], +[389, ["vspace", 0], 223, 910, [385, 390]], +[390, ["storein", 0], 223, 952, [389, 391, 470, 397]], +[391, ["string", "pensize"], 291, 952, [390, null]], [392, "box", 805, 644, [398, 393, null]], -[393, ["string", "pensize"], 859, 644, [392, null]], -[394, "box", 289, 1006, [376, 395, null]], -[395, ["string", "pensize"], 343, 1006, [394, null]], -[396, ["number", 1], 360, 1142, [251, null]], -[397, ["vspace", 20], 258, 1060, [390, 251]], +[393, ["string", "pensize"], 860, 644, [392, null]], +[394, "box", 299, 1006, [376, 395, null]], +[395, ["string", "pensize"], 354, 1006, [394, null]], +[396, ["number", 1], 325, 1118, [251, null]], +[397, ["vspace", 20], 223, 1036, [390, 251]], [398, "setpensize", 703, 644, [448, 392, 405]], [399, "setpensize", 703, 854, [117, 400, 403]], [400, ["number", 1], 805, 854, [399, null]], -[401, "box", 248, 1106, [168, 402, null]], -[402, ["string", "pensize"], 302, 1106, [401, null]], +[401, "box", 249, 1106, [168, 402, null]], +[402, ["string", "pensize"], 304, 1106, [401, null]], [403, "setgray", 703, 896, [399, 404, null]], [404, ["number", 0], 776, 896, [403, null]], [405, "setgray", 703, 686, [398, 406, 108]], [406, ["number", 100], 776, 686, [405, null]], -[407, "setgray", 258, 1226, [293, 408, 137]], -[408, ["number", 0], 331, 1226, [407, null]], +[407, "setgray", 223, 1202, [293, 408, 137]], +[408, ["number", 0], 296, 1202, [407, null]], [409, "clean", 103, 278, [361, 381]], -[410, "mousey", 1359, 328, [414, null]], -[411, "height", 1413, 370, [412, null]], -[412, ["division2", 0], 1359, 370, [414, 411, 413]], -[413, ["number", 2], 1437, 412, [412, null]], -[414, ["plus2", 0], 1305, 328, [415, 410, 412]], -[415, ["division2", 0], 1227, 286, [467, 416, 414]], -[416, "height", 1281, 286, [415, null]], -[417, "toppos", 875, 428, [427, null]], +[410, "mousey", 1391, 328, [414, null]], +[411, "height", 1461, 370, [412, null]], +[412, ["division2", 0], 1391, 370, [414, 411, 413]], +[413, ["number", 2], 1485, 412, [412, null]], +[414, ["plus2", 0], 1337, 328, [415, 410, 412]], +[415, ["division2", 0], 1243, 286, [467, 416, 414]], +[416, "height", 1313, 286, [415, null]], +[417, "toppos", 894, 428, [427, null]], [418, "bottompos", 875, 678, [438, null]], -[419, "rightpos", 875, 346, [426, null]], +[419, "rightpos", 894, 346, [426, null]], [420, ["string", "fast"], 821, 512, [421, null]], [421, "show", 763, 512, [429, 420, 430]], [422, ["string", "slow"], 821, 762, [437, null]], [423, ["setxy2", 20], 763, 346, [428, 426, 427, 429]], -[424, ["number", 200], 899, 388, [426, null]], -[425, ["number", 100], 899, 470, [427, null]], +[424, ["number", 200], 918, 388, [426, null]], +[425, ["number", 100], 918, 470, [427, null]], [426, ["minus2", 0], 821, 346, [423, 419, 424]], [427, ["minus2", 0], 821, 428, [423, 417, 425]], [428, "penup", 763, 304, [458, 423]], @@ -435,8 +435,8 @@ [430, "penup", 763, 554, [421, 431]], [431, ["setxy2", 20], 763, 596, [430, 432, 438, 436]], [432, ["minus2", 0], 821, 596, [431, 433, 434]], -[433, "rightpos", 875, 596, [432, null]], -[434, ["number", 200], 899, 638, [432, null]], +[433, "rightpos", 894, 596, [432, null]], +[434, ["number", 200], 918, 638, [432, null]], [435, ["number", 100], 875, 720, [438, null]], [436, "pendown", 763, 720, [431, 437]], [437, "show", 763, 762, [436, 422, 316]], @@ -458,19 +458,23 @@ [453, "sandwichclampcollapsed", 600, 554, [449, 104, null]], [454, "hat", 780, 240, [null, 455, 458]], [455, ["string", "display scale"], 838, 252, [454, null]], -[456, "stack", 258, 1352, [296, 457, 247]], -[457, ["string", "display scale"], 316, 1352, [456, null]], +[456, "stack", 223, 1328, [296, 457, 247]], +[457, ["string", "display scale"], 281, 1328, [456, null]], [458, "sandwichclampcollapsed", 780, 294, [454, 428, null]], [459, "hat", 980, 180, [null, 460, 468]], [460, ["string", "pause"], 1038, 192, [459, null]], [461, "stack", 139, 840, [272, 462, 275]], [462, ["string", "pause"], 197, 840, [461, null]], [463, ["repeat", 0], 963, 244, [468, 464, 274, null]], -[464, ["number", 10], 1021, 244, [463, null]], +[464, ["number", 10], 1022, 244, [463, null]], [465, ["division2", 0], 1039, 286, [274, 467, 466]], -[466, ["number", 10], 1117, 328, [465, null]], -[467, ["identity2", 40], 1093, 286, [465, 415]], +[466, ["number", 10], 1133, 328, [465, null]], +[467, ["identity2", 40], 1109, 286, [465, 415]], [468, "sandwichclampcollapsed", 980, 234, [459, 463, null]], [469, "fullscreen", 120, 226, [0, 361]], -[470, ["product2", 20], 325, 1018, [390, 252, 471]], -[471, ["number", 2.0], 379, 1100, [470, null]]] +[470, ["product2", 20], 291, 994, [390, 252, 471]], +[471, ["number", 2], 345, 1076, [470, null]], +[472, "int", 862, 670, [308, 311]], +[473, "int", 862, 812, [321, 322]], +[474, "int", 618, 728, [334, 338]], +[475, "int", 672, 914, [337, 340]]] -- cgit v0.9.1