36 36 "algol<"
36 48 "_"
36 48 "b_"
42.6 48 "e_"
49.2 48 "g_"
55.800000000000004 48 "i_"
62.4 48 "n"
55.800000000000004 60 "_"
55.800000000000004 60 "c_"
62.4 60 "o_"
69 60 "m_"
75.6 60 "m_"
82.19999999999999 60 "e_"
88.79999999999998 60 "n_"
95.39999999999998 60 "t"
55.800000000000004 84 "https://projecteuler.net/problem=61"
55.800000000000004 108 "Answer:"
115.19999999999996 108 "28684"
55.800000000000004 120 "Time:"
115.19999999999996 120 "8030.38s = 2h 13m 50.38s"
55.800000000000004 132 "Time:"
141.59999999999994 132 "Classic:"
247.19999999999985 132 "7893.65s"
55.800000000000004 144 "Time:"
141.59999999999994 144 "Turbo:"
247.19999999999985 144 "6974.42s"
55.800000000000004 168 "No buffer, no index check:"
55.800000000000004 192 "Time classic:"
194.3999999999999 192 "7938.42"
55.800000000000004 204 "Time turbo:"
194.3999999999999 204 "7036.65 11.4pct"
55.800000000000004 228 "Buffer, no index check:"
55.800000000000004 252 "Time classic:"
194.3999999999999 252 "6655.42"
55.800000000000004 264 "Time turbo:"
194.3999999999999 264 "6091.44 8.5pct"
55.800000000000004 288 "No buffer, index check:"
55.800000000000004 312 "Time classic:"
194.3999999999999 312 "7893.65"
55.800000000000004 324 "Time turbo:"
194.3999999999999 324 "7045.71 10.7pct"
55.800000000000004 348 "Buffer, index check:"
55.800000000000004 372 "Time classic:"
194.3999999999999 372 "8032.21"
55.800000000000004 384 "Time turbo:"
194.3999999999999 384 "7153.58 10.9pct"
55.800000000000004 408 "PERM code taken from APL/360 ADVANCEDEX"
319.80000000000007 408 "PERM"
352.8000000000002 408 "function."
55.800000000000004 432 ";"
55.800000000000004 444 "_"
55.800000000000004 444 "r_"
62.4 444 "e_"
69 444 "a_"
75.6 444 "l clock;"
55.800000000000004 456 "_"
55.800000000000004 456 "r_"
62.4 456 "e_"
69 456 "a_"
75.6 456 "l _"
88.79999999999998 456 "p_"
95.39999999999998 456 "r_"
101.99999999999997 456 "o_"
108.59999999999997 456 "c_"
115.19999999999996 456 "e_"
121.79999999999995 456 "d_"
128.39999999999995 456 "u_"
134.99999999999994 456 "r_"
141.59999999999994 456 "e clock count;"
55.800000000000004 468 "_"
55.800000000000004 468 "c_"
62.4 468 "o_"
69 468 "d_"
75.6 468 "e clock count;"
55.800000000000004 480 "1, 37;"
69 492 "zl"
134.99999999999994 492 ", grf p−1"
214.19999999999987 492 "; RF:=clock"
293.4 492 "count;"
339.60000000000014 492 "stack[p−1]:=RF;"
55.800000000000004 504 "_"
55.800000000000004 504 "e;"
55.800000000000004 516 "_"
55.800000000000004 516 "i_"
62.4 516 "n_"
69 516 "t_"
75.6 516 "e_"
82.19999999999999 516 "g_"
88.79999999999998 516 "e_"
95.39999999999998 516 "r _"
108.59999999999997 516 "p_"
115.19999999999996 516 "r_"
121.79999999999995 516 "o_"
128.39999999999995 516 "c_"
134.99999999999994 516 "e_"
141.59999999999994 516 "d_"
148.19999999999993 516 "u_"
154.79999999999993 516 "r_"
161.39999999999992 516 "e triangle(n);"
55.800000000000004 528 "_"
55.800000000000004 528 "v_"
62.4 528 "a_"
69 528 "l_"
75.6 528 "u_"
82.19999999999999 528 "e n;"
55.800000000000004 540 "_"
55.800000000000004 540 "i_"
62.4 540 "n_"
69 540 "t_"
75.6 540 "e_"
82.19999999999999 540 "g_"
88.79999999999998 540 "e_"
95.39999999999998 540 "r n;"
55.800000000000004 552 "_"
55.800000000000004 552 "b_"
62.4 552 "e_"
69 552 "g_"
75.6 552 "i_"
82.19999999999999 552 "n"
75.6 564 "_"
75.6 564 "i_"
82.19999999999999 564 "n_"
88.79999999999998 564 "t_"
95.39999999999998 564 "e_"
101.99999999999997 564 "g_"
108.59999999999997 564 "e_"
115.19999999999996 564 "r n2;"
75.6 576 "n2:=−0.5+sqrt(0.25+2"
207.6 576 "×"
214.2 576 "n);"
75.6 588 "triangle:=_"
141.59999999999994 588 "i_"
148.19999999999993 588 "f (n2"
181.2 588 "×"
187.79999999999998 588 "(n2+1)_"
227.39999999999995 588 ":2)=n"
266.99999999999994 588 "_"
266.99999999999994 588 "t_"
273.59999999999997 588 "h_"
280.2 588 "e_"
286.8 588 "n"
300.00000000000006 588 "n2"
319.8000000000001 588 "_"
319.8000000000001 588 "e_"
326.40000000000015 588 "l_"
333.00000000000017 588 "s_"
339.6000000000002 588 "e"
352.80000000000024 588 "0"
55.799999999999976 600 "_"
55.799999999999976 600 "e_"
62.39999999999997 600 "n_"
68.99999999999997 600 "d;"
55.799999999999976 612 "_"
55.799999999999976 612 "i_"
62.39999999999997 612 "n_"
68.99999999999997 612 "t_"
75.59999999999997 612 "e_"
82.19999999999996 612 "g_"
88.79999999999995 612 "e_"
95.39999999999995 612 "r _"
108.59999999999994 612 "p_"
115.19999999999993 612 "r_"
121.79999999999993 612 "o_"
128.39999999999992 612 "c_"
134.99999999999991 612 "e_"
141.5999999999999 612 "d_"
148.1999999999999 612 "u_"
154.7999999999999 612 "r_"
161.3999999999999 612 "e square(n);"
55.799999999999976 624 "_"
55.799999999999976 624 "v_"
62.39999999999997 624 "a_"
68.99999999999997 624 "l_"
75.59999999999997 624 "u_"
82.19999999999996 624 "e n;"
55.799999999999976 636 "_"
55.799999999999976 636 "i_"
62.39999999999997 636 "n_"
68.99999999999997 636 "t_"
75.59999999999997 636 "e_"
82.19999999999996 636 "g_"
88.79999999999995 636 "e_"
95.39999999999995 636 "r n;"
55.799999999999976 648 "_"
55.799999999999976 648 "b_"
62.39999999999997 648 "e_"
68.99999999999997 648 "g_"
75.59999999999997 648 "i_"
82.19999999999996 648 "n"
75.59999999999997 660 "_"
75.59999999999997 660 "i_"
82.19999999999996 660 "n_"
88.79999999999995 660 "t_"
95.39999999999995 660 "e_"
101.99999999999994 660 "g_"
108.59999999999994 660 "e_"
115.19999999999993 660 "r n2;"
75.59999999999997 672 "n2:=sqrt(n);"
75.59999999999997 684 "square := _"
141.5999999999999 684 "i_"
148.1999999999999 684 "f n2"
174.59999999999997 684 "×"
181.19999999999996 684 "n2=n _"
214.19999999999993 684 "t_"
220.79999999999993 684 "h_"
227.39999999999992 684 "e_"
233.99999999999991 684 "n n2"
266.99999999999994 684 "_"
266.99999999999994 684 "e_"
273.59999999999997 684 "l_"
280.2 684 "s_"
286.8 684 "e"
300.00000000000006 684 "0"
55.799999999999976 696 "_"
55.799999999999976 696 "e_"
62.39999999999997 696 "n_"
68.99999999999997 696 "d square;"
55.799999999999976 708 "_"
55.799999999999976 708 "i_"
62.39999999999997 708 "n_"
68.99999999999997 708 "t_"
75.59999999999997 708 "e_"
82.19999999999996 708 "g_"
88.79999999999995 708 "e_"
95.39999999999995 708 "r _"
108.59999999999994 708 "p_"
115.19999999999993 708 "r_"
121.79999999999993 708 "o_"
128.39999999999992 708 "c_"
134.99999999999991 708 "e_"
141.5999999999999 708 "d_"
148.1999999999999 708 "u_"
154.7999999999999 708 "r_"
161.3999999999999 708 "e pentagonal(n);"
55.799999999999976 720 "_"
55.799999999999976 720 "v_"
62.39999999999997 720 "a_"
68.99999999999997 720 "l_"
75.59999999999997 720 "u_"
82.19999999999996 720 "e n;"
55.799999999999976 732 "_"
55.799999999999976 732 "i_"
62.39999999999997 732 "n_"
68.99999999999997 732 "t_"
75.59999999999997 732 "e_"
82.19999999999996 732 "g_"
88.79999999999995 732 "e_"
95.39999999999995 732 "r n;"
55.799999999999976 744 "_"
55.799999999999976 744 "b_"
62.39999999999997 744 "e_"
68.99999999999997 744 "g_"
75.59999999999997 744 "i_"
82.19999999999996 744 "n"
75.59999999999997 756 "_"
75.59999999999997 756 "i_"
82.19999999999996 756 "n_"
88.79999999999995 756 "t_"
95.39999999999995 756 "e_"
101.99999999999994 756 "g_"
108.59999999999994 756 "e_"
115.19999999999993 756 "r n2;"
75.59999999999997 768 "n2:=(0.5+sqrt(0.25+6"
207.59999999999997 768 "×"
214.19999999999996 768 "n))/3;"
75.59999999999997 780 "pentagonal:=_"
154.7999999999999 780 "i_"
161.3999999999999 780 "f (n2"
194.39999999999998 780 "×"
200.99999999999997 780 "(3"
214.19999999999996 780 "×"
220.79999999999995 780 "n2−1)_"
253.79999999999993 780 ":2)=n"
293.40000000000003 780 "_"
293.40000000000003 780 "t_"
300.00000000000006 780 "h_"
306.6000000000001 780 "e_"
313.2000000000001 780 "n"
326.40000000000015 780 "n2"
346.2000000000002 780 "_"
346.2000000000002 780 "e_"
352.80000000000024 780 "l_"
359.40000000000026 780 "s_"
366.0000000000003 780 "e"
379.20000000000033 780 "0"
55.79999999999995 792 "_"
55.79999999999995 792 "e_"
62.39999999999994 792 "n_"
68.99999999999994 792 "d;"
55.800000000000004 36 "_"
55.800000000000004 36 "i_"
62.4 36 "n_"
69 36 "t_"
75.6 36 "e_"
82.19999999999999 36 "g_"
88.79999999999998 36 "e_"
95.39999999999998 36 "r _"
108.59999999999997 36 "p_"
115.19999999999996 36 "r_"
121.79999999999995 36 "o_"
128.39999999999995 36 "c_"
134.99999999999994 36 "e_"
141.59999999999994 36 "d_"
148.19999999999993 36 "u_"
154.79999999999993 36 "r_"
161.39999999999992 36 "e hexagonal(n);"
55.800000000000004 48 "_"
55.800000000000004 48 "v_"
62.4 48 "a_"
69 48 "l_"
75.6 48 "u_"
82.19999999999999 48 "e n;"
55.800000000000004 60 "_"
55.800000000000004 60 "i_"
62.4 60 "n_"
69 60 "t_"
75.6 60 "e_"
82.19999999999999 60 "g_"
88.79999999999998 60 "e_"
95.39999999999998 60 "r n;"
55.800000000000004 72 "_"
55.800000000000004 72 "b_"
62.4 72 "e_"
69 72 "g_"
75.6 72 "i_"
82.19999999999999 72 "n"
75.6 84 "_"
75.6 84 "i_"
82.19999999999999 84 "n_"
88.79999999999998 84 "t_"
95.39999999999998 84 "e_"
101.99999999999997 84 "g_"
108.59999999999997 84 "e_"
115.19999999999996 84 "r n2;"
75.6 96 "n2 := (1+sqrt(1+8"
187.8 96 "×"
194.4 96 "n))/4;"
75.6 108 "hexagonal := _"
161.39999999999992 108 "i_"
167.99999999999991 108 "f n2"
194.4 108 "×"
201 108 "(2"
214.2 108 "×"
220.79999999999998 108 "n2−1)=n"
273.6 108 "_"
273.6 108 "t_"
280.20000000000005 108 "h_"
286.80000000000007 108 "e_"
293.4000000000001 108 "n"
306.60000000000014 108 "n2"
326.4000000000002 108 "_"
326.4000000000002 108 "e_"
333.0000000000002 108 "l_"
339.60000000000025 108 "s_"
346.2000000000003 108 "e"
359.4000000000003 108 "0"
55.799999999999976 120 "_"
55.799999999999976 120 "e_"
62.39999999999997 120 "n_"
68.99999999999997 120 "d hexagonal;"
55.799999999999976 132 "_"
55.799999999999976 132 "i_"
62.39999999999997 132 "n_"
68.99999999999997 132 "t_"
75.59999999999997 132 "e_"
82.19999999999996 132 "g_"
88.79999999999995 132 "e_"
95.39999999999995 132 "r _"
108.59999999999994 132 "p_"
115.19999999999993 132 "r_"
121.79999999999993 132 "o_"
128.39999999999992 132 "c_"
134.99999999999991 132 "e_"
141.5999999999999 132 "d_"
148.1999999999999 132 "u_"
154.7999999999999 132 "r_"
161.3999999999999 132 "e heptagonal(n);"
55.799999999999976 144 "_"
55.799999999999976 144 "v_"
62.39999999999997 144 "a_"
68.99999999999997 144 "l_"
75.59999999999997 144 "u_"
82.19999999999996 144 "e n;"
55.799999999999976 156 "_"
55.799999999999976 156 "i_"
62.39999999999997 156 "n_"
68.99999999999997 156 "t_"
75.59999999999997 156 "e_"
82.19999999999996 156 "g_"
88.79999999999995 156 "e_"
95.39999999999995 156 "r n;"
55.799999999999976 168 "_"
55.799999999999976 168 "b_"
62.39999999999997 168 "e_"
68.99999999999997 168 "g_"
75.59999999999997 168 "i_"
82.19999999999996 168 "n"
75.59999999999997 180 "_"
75.59999999999997 180 "i_"
82.19999999999996 180 "n_"
88.79999999999995 180 "t_"
95.39999999999995 180 "e_"
101.99999999999994 180 "g_"
108.59999999999994 180 "e_"
115.19999999999993 180 "r n2;"
75.59999999999997 192 "n2 := (1.5+sqrt(2.25+10"
227.39999999999998 192 "×"
233.99999999999997 192 "n))/5;"
75.59999999999997 204 "heptagonal := _"
167.9999999999999 204 "i_"
174.59999999999988 204 "f n2"
200.99999999999997 204 "×"
207.59999999999997 204 "(5"
220.79999999999995 204 "×"
227.39999999999995 204 "n2−3)_"
260.3999999999999 204 ":2=n"
293.40000000000003 204 "_"
293.40000000000003 204 "t_"
300.00000000000006 204 "h_"
306.6000000000001 204 "e_"
313.2000000000001 204 "n"
326.40000000000015 204 "n2"
346.2000000000002 204 "_"
346.2000000000002 204 "e_"
352.80000000000024 204 "l_"
359.40000000000026 204 "s_"
366.0000000000003 204 "e"
379.20000000000033 204 "0"
55.79999999999995 216 "_"
55.79999999999995 216 "e_"
62.39999999999994 216 "n_"
68.99999999999994 216 "d heptagonal;"
55.79999999999995 228 "_"
55.79999999999995 228 "i_"
62.39999999999994 228 "n_"
68.99999999999994 228 "t_"
75.59999999999994 228 "e_"
82.19999999999993 228 "g_"
88.79999999999993 228 "e_"
95.39999999999992 228 "r _"
108.59999999999991 228 "p_"
115.1999999999999 228 "r_"
121.7999999999999 228 "o_"
128.3999999999999 228 "c_"
134.9999999999999 228 "e_"
141.59999999999988 228 "d_"
148.19999999999987 228 "u_"
154.79999999999987 228 "r_"
161.39999999999986 228 "e octagonal(n);"
55.79999999999995 240 "_"
55.79999999999995 240 "v_"
62.39999999999994 240 "a_"
68.99999999999994 240 "l_"
75.59999999999994 240 "u_"
82.19999999999993 240 "e n;"
55.79999999999995 252 "_"
55.79999999999995 252 "i_"
62.39999999999994 252 "n_"
68.99999999999994 252 "t_"
75.59999999999994 252 "e_"
82.19999999999993 252 "g_"
88.79999999999993 252 "e_"
95.39999999999992 252 "r n;"
55.79999999999995 264 "_"
55.79999999999995 264 "b_"
62.39999999999994 264 "e_"
68.99999999999994 264 "g_"
75.59999999999994 264 "i_"
82.19999999999993 264 "n"
75.59999999999994 276 "_"
75.59999999999994 276 "i_"
82.19999999999993 276 "n_"
88.79999999999993 276 "t_"
95.39999999999992 276 "e_"
101.99999999999991 276 "g_"
108.59999999999991 276 "e_"
115.1999999999999 276 "r n2;"
75.59999999999994 288 "n2 := (2+sqrt(4+12"
194.39999999999995 288 "×"
200.99999999999994 288 "n))/6;"
75.59999999999994 300 "octagonal := _"
161.39999999999986 300 "i_"
167.99999999999986 300 "f n2"
194.39999999999995 300 "×"
200.99999999999994 300 "(3"
214.19999999999993 300 "×"
220.79999999999993 300 "n2−2)=n"
273.59999999999997 300 "_"
273.59999999999997 300 "t_"
280.2 300 "h_"
286.8 300 "e_"
293.40000000000003 300 "n"
306.6000000000001 300 "n2"
326.40000000000015 300 "_"
326.40000000000015 300 "e_"
333.00000000000017 300 "l_"
339.6000000000002 300 "s_"
346.2000000000002 300 "e"
359.40000000000026 300 "0"
55.79999999999992 312 "_"
55.79999999999992 312 "e_"
62.39999999999991 312 "n_"
68.99999999999991 312 "d octagonal;"
55.79999999999992 324 "_"
55.79999999999992 324 "p_"
62.39999999999991 324 "r_"
68.99999999999991 324 "o_"
75.59999999999991 324 "c_"
82.1999999999999 324 "e_"
88.7999999999999 324 "d_"
95.39999999999989 324 "u_"
101.99999999999989 324 "r_"
108.59999999999988 324 "e PERM(Z,a,b);"
55.79999999999992 336 "_"
55.79999999999992 336 "v_"
62.39999999999991 336 "a_"
68.99999999999991 336 "l_"
75.59999999999991 336 "u_"
82.1999999999999 336 "e a,b;"
55.79999999999992 348 "_"
55.79999999999992 348 "i_"
62.39999999999991 348 "n_"
68.99999999999991 348 "t_"
75.59999999999991 348 "e_"
82.1999999999999 348 "g_"
88.7999999999999 348 "e_"
95.39999999999989 348 "r a,b;"
55.79999999999992 360 "_"
55.79999999999992 360 "i_"
62.39999999999991 360 "n_"
68.99999999999991 360 "t_"
75.59999999999991 360 "e_"
82.1999999999999 360 "g_"
88.7999999999999 360 "e_"
95.39999999999989 360 "r _"
108.59999999999988 360 "a_"
115.19999999999987 360 "r_"
121.79999999999987 360 "r_"
128.39999999999986 360 "a_"
134.99999999999986 360 "y Z;"
55.79999999999992 372 "_"
55.79999999999992 372 "b_"
62.39999999999991 372 "e_"
68.99999999999991 372 "g_"
75.59999999999991 372 "i_"
82.1999999999999 372 "n"
75.59999999999991 384 "_"
75.59999999999991 384 "i_"
82.1999999999999 384 "n_"
88.7999999999999 384 "t_"
95.39999999999989 384 "e_"
101.99999999999989 384 "g_"
108.59999999999988 384 "e_"
115.19999999999987 384 "r i,j,rem;"
75.59999999999991 396 "rem:=b−1;"
75.59999999999991 408 "_"
75.59999999999991 408 "f_"
82.1999999999999 408 "o_"
88.7999999999999 408 "r i:=1 _"
134.99999999999986 408 "s_"
141.59999999999985 408 "t_"
148.19999999999985 408 "e_"
154.79999999999984 408 "p 1 _"
181.19999999999982 408 "u_"
187.7999999999998 408 "n_"
194.3999999999998 408 "t_"
200.9999999999998 408 "i_"
207.5999999999998 408 "l a _"
233.99999999999977 408 "d_"
240.59999999999977 408 "o"
75.59999999999991 420 "_"
75.59999999999991 420 "b_"
82.1999999999999 420 "e_"
88.7999999999999 420 "g_"
95.39999999999989 420 "i_"
101.99999999999989 420 "n"
95.39999999999989 432 "Z[a−i+1]:=1+rem _"
200.9999999999998 432 "m_"
207.5999999999998 432 "o_"
214.1999999999998 432 "d i;"
95.39999999999989 444 "rem:=rem_"
148.19999999999985 444 ":i"
75.59999999999991 456 "_"
75.59999999999991 456 "e_"
82.1999999999999 456 "n_"
88.7999999999999 456 "d;"
75.59999999999991 468 "_"
75.59999999999991 468 "f_"
82.1999999999999 468 "o_"
88.7999999999999 468 "r i:=a−1 _"
148.19999999999985 468 "s_"
154.79999999999984 468 "t_"
161.39999999999984 468 "e_"
167.99999999999983 468 "p −1 _"
200.9999999999998 468 "u_"
207.5999999999998 468 "n_"
214.1999999999998 468 "t_"
220.79999999999978 468 "i_"
227.39999999999978 468 "l 1 _"
253.79999999999976 468 "d_"
260.39999999999975 468 "o"
75.59999999999991 480 "_"
75.59999999999991 480 "f_"
82.1999999999999 480 "o_"
88.7999999999999 480 "r j:=i+1 _"
148.19999999999985 480 "s_"
154.79999999999984 480 "t_"
161.39999999999984 480 "e_"
167.99999999999983 480 "p 1 _"
194.3999999999998 480 "u_"
200.9999999999998 480 "n_"
207.5999999999998 480 "t_"
214.1999999999998 480 "i_"
220.79999999999978 480 "l a _"
247.19999999999976 480 "d_"
253.79999999999976 480 "o"
75.59999999999991 492 "_"
75.59999999999991 492 "i_"
82.1999999999999 492 "f Z[i]_"
121.79999999999987 492 "<Z[j] _"
161.39999999999984 492 "t_"
167.99999999999983 492 "h_"
174.59999999999982 492 "e_"
181.19999999999982 492 "n Z[j]:=Z[j]+1"
55.79999999999992 504 "_"
55.79999999999992 504 "e_"
62.39999999999991 504 "n_"
68.99999999999991 504 "d PERM;"
55.79999999999992 516 "_"
55.79999999999992 516 "i_"
62.39999999999991 516 "n_"
68.99999999999991 516 "t_"
75.59999999999991 516 "e_"
82.1999999999999 516 "g_"
88.7999999999999 516 "e_"
95.39999999999989 516 "r _"
108.59999999999988 516 "a_"
115.19999999999987 516 "r_"
121.79999999999987 516 "r_"
128.39999999999986 516 "a_"
134.99999999999986 516 "y list,Z[1:6];"
55.79999999999992 528 "_"
55.79999999999992 528 "i_"
62.39999999999991 528 "n_"
68.99999999999991 528 "t_"
75.59999999999991 528 "e_"
82.1999999999999 528 "g_"
88.7999999999999 528 "e_"
95.39999999999989 528 "r i,j;"
55.79999999999992 540 "_"
55.79999999999992 540 "i_"
62.39999999999991 540 "n_"
68.99999999999991 540 "t_"
75.59999999999991 540 "e_"
82.1999999999999 540 "g_"
88.7999999999999 540 "e_"
95.39999999999989 540 "r aa,bb,cc,dd,ee,ff,"
75.59999999999991 552 "aabb,bbcc,ccdd,ddee,eeff,ffaa;"
55.79999999999992 564 "clock count;"
55.79999999999992 576 "_"
55.79999999999992 576 "f_"
62.39999999999991 576 "o_"
68.99999999999991 576 "r aa:=10 _"
128.39999999999986 576 "s_"
134.99999999999986 576 "t_"
141.59999999999985 576 "e_"
148.19999999999985 576 "p 1 _"
174.59999999999982 576 "u_"
181.19999999999982 576 "n_"
187.7999999999998 576 "t_"
194.3999999999998 576 "i_"
200.9999999999998 576 "l 99 _"
233.99999999999977 576 "d_"
240.59999999999977 576 "o"
55.79999999999992 588 "_"
55.79999999999992 588 "b_"
62.39999999999991 588 "e_"
68.99999999999991 588 "g_"
75.59999999999991 588 "i_"
82.1999999999999 588 "n"
55.79999999999992 600 "_"
55.79999999999992 600 "f_"
62.39999999999991 600 "o_"
68.99999999999991 600 "r bb:=10 _"
128.39999999999986 600 "s_"
134.99999999999986 600 "t_"
141.59999999999985 600 "e_"
148.19999999999985 600 "p 1 _"
174.59999999999982 600 "u_"
181.19999999999982 600 "n_"
187.7999999999998 600 "t_"
194.3999999999998 600 "i_"
200.9999999999998 600 "l 99 _"
233.99999999999977 600 "d_"
240.59999999999977 600 "o"
55.79999999999992 612 "_"
55.79999999999992 612 "b_"
62.39999999999991 612 "e_"
68.99999999999991 612 "g_"
75.59999999999991 612 "i_"
82.1999999999999 612 "n"
55.79999999999992 624 "_"
55.79999999999992 624 "i_"
62.39999999999991 624 "f aa=bb _"
115.19999999999987 624 "t_"
121.79999999999987 624 "h_"
128.39999999999986 624 "e_"
134.99999999999986 624 "n _"
148.19999999999985 624 "g_"
154.79999999999984 624 "o_"
161.39999999999984 624 "t_"
167.99999999999983 624 "o notbb;"
55.79999999999992 636 "list[1]:=aabb:=aa"
167.99999999999991 636 "×"
174.5999999999999 636 "100+bb;"
55.79999999999992 648 "_"
55.79999999999992 648 "i_"
62.39999999999991 648 "f octagonal(aabb)=0 _"
194.3999999999998 648 "t_"
200.9999999999998 648 "h_"
207.5999999999998 648 "e_"
214.1999999999998 648 "n _"
227.39999999999978 648 "g_"
233.99999999999977 648 "o_"
240.59999999999977 648 "t_"
247.19999999999976 648 "o notbb;"
55.79999999999992 660 "_"
55.79999999999992 660 "f_"
62.39999999999991 660 "o_"
68.99999999999991 660 "r cc:=10 _"
128.39999999999986 660 "s_"
134.99999999999986 660 "t_"
141.59999999999985 660 "e_"
148.19999999999985 660 "p 1 _"
174.59999999999982 660 "u_"
181.19999999999982 660 "n_"
187.7999999999998 660 "t_"
194.3999999999998 660 "i_"
200.9999999999998 660 "l 99 _"
233.99999999999977 660 "d_"
240.59999999999977 660 "o"
55.79999999999992 672 "_"
55.79999999999992 672 "b_"
62.39999999999991 672 "e_"
68.99999999999991 672 "g_"
75.59999999999991 672 "i_"
82.1999999999999 672 "n"
55.79999999999992 684 "_"
55.79999999999992 684 "i_"
62.39999999999991 684 "f aa=cc _"
115.19999999999987 684 "t_"
121.79999999999987 684 "h_"
128.39999999999986 684 "e_"
134.99999999999986 684 "n _"
148.19999999999985 684 "g_"
154.79999999999984 684 "o_"
161.39999999999984 684 "t_"
167.99999999999983 684 "o notcc;"
55.79999999999992 696 "_"
55.79999999999992 696 "i_"
62.39999999999991 696 "f bb=cc _"
115.19999999999987 696 "t_"
121.79999999999987 696 "h_"
128.39999999999986 696 "e_"
134.99999999999986 696 "n _"
148.19999999999985 696 "g_"
154.79999999999984 696 "o_"
161.39999999999984 696 "t_"
167.99999999999983 696 "o notcc;"
55.79999999999992 708 "list[2]:=bbcc:=bb"
167.99999999999991 708 "×"
174.5999999999999 708 "100+cc;"
55.79999999999992 720 "_"
55.79999999999992 720 "i_"
62.39999999999991 720 "f heptagonal(bbcc)=0"
200.99999999999991 720 "∧"
95.39999999999989 732 ""
95.39999999999989 732 "hexagonal(bbcc)=0"
214.1999999999999 732 "∧"
95.39999999999989 744 ""
95.39999999999989 744 "pentagonal(bbcc)=0"
220.79999999999993 744 "∧"
95.39999999999989 756 ""
95.39999999999989 756 "square(bbcc)=0"
194.39999999999992 756 "∧"
95.39999999999989 768 ""
95.39999999999989 768 "triangle(bbcc)=0 _"
207.5999999999998 768 "t_"
214.1999999999998 768 "h_"
220.79999999999978 768 "e_"
227.39999999999978 768 "n _"
240.59999999999977 768 "g_"
247.19999999999976 768 "o_"
253.79999999999976 768 "t_"
260.39999999999975 768 "o"
273.5999999999998 768 "notcc;"
55.79999999999992 780 "_"
55.79999999999992 780 "f_"
62.39999999999991 780 "o_"
68.99999999999991 780 "r dd:=10 _"
128.39999999999986 780 "s_"
134.99999999999986 780 "t_"
141.59999999999985 780 "e_"
148.19999999999985 780 "p 1 _"
174.59999999999982 780 "u_"
181.19999999999982 780 "n_"
187.7999999999998 780 "t_"
194.3999999999998 780 "i_"
200.9999999999998 780 "l 99 _"
233.99999999999977 780 "d_"
240.59999999999977 780 "o"
55.79999999999992 792 "_"
55.79999999999992 792 "b_"
62.39999999999991 792 "e_"
68.99999999999991 792 "g_"
75.59999999999991 792 "i_"
82.1999999999999 792 "n"
75.6 36 "_"
75.6 36 "i_"
82.19999999999999 36 "f aa=dd _"
134.99999999999994 36 "t_"
141.59999999999994 36 "h_"
148.19999999999993 36 "e_"
154.79999999999993 36 "n _"
167.99999999999991 36 "g_"
174.5999999999999 36 "o_"
181.1999999999999 36 "t_"
187.7999999999999 36 "o notdd;"
75.6 48 "_"
75.6 48 "i_"
82.19999999999999 48 "f bb=dd _"
134.99999999999994 48 "t_"
141.59999999999994 48 "h_"
148.19999999999993 48 "e_"
154.79999999999993 48 "n _"
167.99999999999991 48 "g_"
174.5999999999999 48 "o_"
181.1999999999999 48 "t_"
187.7999999999999 48 "o notdd;"
75.6 60 "_"
75.6 60 "i_"
82.19999999999999 60 "f cc=dd _"
134.99999999999994 60 "t_"
141.59999999999994 60 "h_"
148.19999999999993 60 "e_"
154.79999999999993 60 "n _"
167.99999999999991 60 "g_"
174.5999999999999 60 "o_"
181.1999999999999 60 "t_"
187.7999999999999 60 "o notdd;"
75.6 72 "list[3]:=ccdd:=cc"
187.8 72 "×"
194.4 72 "100+dd;"
55.800000000000004 84 "_"
55.800000000000004 84 "i_"
62.4 84 "f heptagonal(ccdd)=0"
201 84 "∧"
95.39999999999998 96 ""
95.39999999999998 96 "hexagonal(ccdd)=0"
214.2 96 "∧"
95.39999999999998 108 ""
95.39999999999998 108 "pentagonal(ccdd)=0"
220.8 108 "∧"
95.39999999999998 120 ""
95.39999999999998 120 "square(ccdd)=0"
194.4 120 "∧"
95.39999999999998 132 ""
95.39999999999998 132 "triangle(ccdd)=0 _"
207.59999999999988 132 "t_"
214.19999999999987 132 "h_"
220.79999999999987 132 "e_"
227.39999999999986 132 "n _"
240.59999999999985 132 "g_"
247.19999999999985 132 "o_"
253.79999999999987 132 "t_"
260.39999999999986 132 "o"
273.5999999999999 132 "notdd;"
55.800000000000004 144 "_"
55.800000000000004 144 "f_"
62.4 144 "o_"
69 144 "r ee:=10 _"
128.39999999999995 144 "s_"
134.99999999999994 144 "t_"
141.59999999999994 144 "e_"
148.19999999999993 144 "p 1 _"
174.5999999999999 144 "u_"
181.1999999999999 144 "n_"
187.7999999999999 144 "t_"
194.3999999999999 144 "i_"
200.9999999999999 144 "l 99 _"
233.99999999999986 144 "d_"
240.59999999999985 144 "o"
55.800000000000004 156 "_"
55.800000000000004 156 "b_"
62.4 156 "e_"
69 156 "g_"
75.6 156 "i_"
82.19999999999999 156 "n"
75.6 168 "_"
75.6 168 "i_"
82.19999999999999 168 "f aa=ee _"
134.99999999999994 168 "t_"
141.59999999999994 168 "h_"
148.19999999999993 168 "e_"
154.79999999999993 168 "n _"
167.99999999999991 168 "g_"
174.5999999999999 168 "o_"
181.1999999999999 168 "t_"
187.7999999999999 168 "o notee;"
75.6 180 "_"
75.6 180 "i_"
82.19999999999999 180 "f bb=ee _"
134.99999999999994 180 "t_"
141.59999999999994 180 "h_"
148.19999999999993 180 "e_"
154.79999999999993 180 "n _"
167.99999999999991 180 "g_"
174.5999999999999 180 "o_"
181.1999999999999 180 "t_"
187.7999999999999 180 "o notee;"
75.6 192 "_"
75.6 192 "i_"
82.19999999999999 192 "f cc=ee _"
134.99999999999994 192 "t_"
141.59999999999994 192 "h_"
148.19999999999993 192 "e_"
154.79999999999993 192 "n _"
167.99999999999991 192 "g_"
174.5999999999999 192 "o_"
181.1999999999999 192 "t_"
187.7999999999999 192 "o notee;"
75.6 204 "_"
75.6 204 "i_"
82.19999999999999 204 "f dd=ee _"
134.99999999999994 204 "t_"
141.59999999999994 204 "h_"
148.19999999999993 204 "e_"
154.79999999999993 204 "n _"
167.99999999999991 204 "g_"
174.5999999999999 204 "o_"
181.1999999999999 204 "t_"
187.7999999999999 204 "o notee;"
75.6 216 "list[4]:=ddee:=dd"
187.8 216 "×"
194.4 216 "100+ee;"
55.800000000000004 228 "_"
55.800000000000004 228 "i_"
62.4 228 "f heptagonal(ddee)=0"
201 228 "∧"
95.39999999999998 240 ""
95.39999999999998 240 "hexagonal(ddee)=0"
214.2 240 "∧"
95.39999999999998 252 ""
95.39999999999998 252 "pentagonal(ddee)=0"
220.8 252 "∧"
95.39999999999998 264 ""
95.39999999999998 264 "square(ddee)=0"
194.4 264 "∧"
95.39999999999998 276 ""
95.39999999999998 276 "triangle(ddee)=0 _"
207.59999999999988 276 "t_"
214.19999999999987 276 "h_"
220.79999999999987 276 "e_"
227.39999999999986 276 "n _"
240.59999999999985 276 "g_"
247.19999999999985 276 "o_"
253.79999999999987 276 "t_"
260.39999999999986 276 "o"
273.5999999999999 276 "notee;"
55.800000000000004 288 "_"
55.800000000000004 288 "f_"
62.4 288 "o_"
69 288 "r ff:=10 _"
128.39999999999995 288 "s_"
134.99999999999994 288 "t_"
141.59999999999994 288 "e_"
148.19999999999993 288 "p 1 _"
174.5999999999999 288 "u_"
181.1999999999999 288 "n_"
187.7999999999999 288 "t_"
194.3999999999999 288 "i_"
200.9999999999999 288 "l 99 _"
233.99999999999986 288 "d_"
240.59999999999985 288 "o"
55.800000000000004 300 "_"
55.800000000000004 300 "b_"
62.4 300 "e_"
69 300 "g_"
75.6 300 "i_"
82.19999999999999 300 "n"
75.6 312 "_"
75.6 312 "i_"
82.19999999999999 312 "f aa=ff _"
134.99999999999994 312 "t_"
141.59999999999994 312 "h_"
148.19999999999993 312 "e_"
154.79999999999993 312 "n _"
167.99999999999991 312 "g_"
174.5999999999999 312 "o_"
181.1999999999999 312 "t_"
187.7999999999999 312 "o notff;"
75.6 324 "_"
75.6 324 "i_"
82.19999999999999 324 "f bb=ff _"
134.99999999999994 324 "t_"
141.59999999999994 324 "h_"
148.19999999999993 324 "e_"
154.79999999999993 324 "n _"
167.99999999999991 324 "g_"
174.5999999999999 324 "o_"
181.1999999999999 324 "t_"
187.7999999999999 324 "o notff;"
75.6 336 "_"
75.6 336 "i_"
82.19999999999999 336 "f cc=ff _"
134.99999999999994 336 "t_"
141.59999999999994 336 "h_"
148.19999999999993 336 "e_"
154.79999999999993 336 "n _"
167.99999999999991 336 "g_"
174.5999999999999 336 "o_"
181.1999999999999 336 "t_"
187.7999999999999 336 "o notff;"
75.6 348 "_"
75.6 348 "i_"
82.19999999999999 348 "f dd=ff _"
134.99999999999994 348 "t_"
141.59999999999994 348 "h_"
148.19999999999993 348 "e_"
154.79999999999993 348 "n _"
167.99999999999991 348 "g_"
174.5999999999999 348 "o_"
181.1999999999999 348 "t_"
187.7999999999999 348 "o notff;"
75.6 360 "_"
75.6 360 "i_"
82.19999999999999 360 "f ee=ff _"
134.99999999999994 360 "t_"
141.59999999999994 360 "h_"
148.19999999999993 360 "e_"
154.79999999999993 360 "n _"
167.99999999999991 360 "g_"
174.5999999999999 360 "o_"
181.1999999999999 360 "t_"
187.7999999999999 360 "o notff;"
75.6 372 "list[5]:=eeff:=ee"
187.8 372 "×"
194.4 372 "100+ff;"
55.800000000000004 384 "_"
55.800000000000004 384 "i_"
62.4 384 "f heptagonal(eeff)=0"
201 384 "∧"
95.39999999999998 396 ""
95.39999999999998 396 "hexagonal(eeff)=0"
214.2 396 "∧"
95.39999999999998 408 ""
95.39999999999998 408 "pentagonal(eeff)=0"
220.8 408 "∧"
95.39999999999998 420 ""
95.39999999999998 420 "square(eeff)=0"
194.4 420 "∧"
95.39999999999998 432 ""
95.39999999999998 432 "triangle(eeff)=0 _"
207.59999999999988 432 "t_"
214.19999999999987 432 "h_"
220.79999999999987 432 "e_"
227.39999999999986 432 "n _"
240.59999999999985 432 "g_"
247.19999999999985 432 "o_"
253.79999999999987 432 "t_"
260.39999999999986 432 "o"
273.5999999999999 432 "notff;"
75.6 444 "list[6]:=ffaa:=ff"
187.8 444 "×"
194.4 444 "100+aa;"
55.800000000000004 456 "_"
55.800000000000004 456 "i_"
62.4 456 "f heptagonal(ffaa)=0"
201 456 "∧"
95.39999999999998 468 ""
95.39999999999998 468 "hexagonal(ffaa)=0"
214.2 468 "∧"
95.39999999999998 480 ""
95.39999999999998 480 "pentagonal(ffaa)=0"
220.8 480 "∧"
95.39999999999998 492 ""
95.39999999999998 492 "square(ffaa)=0"
194.4 492 "∧"
95.39999999999998 504 ""
95.39999999999998 504 "triangle(ffaa)=0 _"
207.59999999999988 504 "t_"
214.19999999999987 504 "h_"
220.79999999999987 504 "e_"
227.39999999999986 504 "n _"
240.59999999999985 504 "g_"
247.19999999999985 504 "o_"
253.79999999999987 504 "t_"
260.39999999999986 504 "o"
273.5999999999999 504 "notff;"
95.39999999999998 516 "_"
95.39999999999998 516 "f_"
101.99999999999997 516 "o_"
108.59999999999997 516 "r i:=1 _"
154.79999999999993 516 "s_"
161.39999999999992 516 "t_"
167.99999999999991 516 "e_"
174.5999999999999 516 "p 1 _"
200.9999999999999 516 "u_"
207.59999999999988 516 "n_"
214.19999999999987 516 "t_"
220.79999999999987 516 "i_"
227.39999999999986 516 "l 720"
266.9999999999999 516 "_"
266.9999999999999 516 "d_"
273.5999999999999 516 "o"
95.39999999999998 528 "_"
95.39999999999998 528 "b_"
101.99999999999997 528 "e_"
108.59999999999997 528 "g_"
115.19999999999996 528 "i_"
121.79999999999995 528 "n"
55.800000000000004 540 "PERM(Z,6,i);"
95.39999999999998 552 "_"
95.39999999999998 552 "i_"
101.99999999999997 552 "f triangle(list[Z[1]])=0"
266.9999999999999 552 "_"
266.9999999999999 552 "t_"
273.5999999999999 552 "h_"
280.19999999999993 552 "e_"
286.79999999999995 552 "n"
300 552 "_"
300 552 "g_"
306.6 552 "o_"
313.20000000000005 552 "t_"
319.80000000000007 552 "o"
333.0000000000001 552 "notperm;"
95.39999999999998 564 "_"
95.39999999999998 564 "i_"
101.99999999999997 564 "f square(list[Z[2]])=0 _"
253.79999999999987 564 "t_"
260.39999999999986 564 "h_"
266.9999999999999 564 "e_"
273.5999999999999 564 "n"
286.79999999999995 564 "_"
286.79999999999995 564 "g_"
293.4 564 "o_"
300 564 "t_"
306.6 564 "o"
319.80000000000007 564 "notperm;"
95.39999999999998 576 "_"
95.39999999999998 576 "i_"
101.99999999999997 576 "f pentagonal(list[Z[3]])=0"
280.19999999999993 576 "_"
280.19999999999993 576 "t_"
286.79999999999995 576 "h_"
293.4 576 "e_"
300 576 "n"
313.20000000000005 576 "_"
313.20000000000005 576 "g_"
319.80000000000007 576 "o_"
326.4000000000001 576 "t_"
333.0000000000001 576 "o"
346.20000000000016 576 "notperm;"
95.39999999999998 588 "_"
95.39999999999998 588 "i_"
101.99999999999997 588 "f hexagonal(list[Z[4]])=0"
273.5999999999999 588 "_"
273.5999999999999 588 "t_"
280.19999999999993 588 "h_"
286.79999999999995 588 "e_"
293.4 588 "n"
306.6 588 "_"
306.6 588 "g_"
313.20000000000005 588 "o_"
319.80000000000007 588 "t_"
326.4000000000001 588 "o"
339.60000000000014 588 "notperm;"
95.39999999999998 600 "_"
95.39999999999998 600 "i_"
101.99999999999997 600 "f heptagonal(list[Z[5]])=0"
280.19999999999993 600 "_"
280.19999999999993 600 "t_"
286.79999999999995 600 "h_"
293.4 600 "e_"
300 600 "n"
313.20000000000005 600 "_"
313.20000000000005 600 "g_"
319.80000000000007 600 "o_"
326.4000000000001 600 "t_"
333.0000000000001 600 "o"
346.20000000000016 600 "notperm;"
95.39999999999998 612 "_"
95.39999999999998 612 "i_"
101.99999999999997 612 "f octagonal(list[Z[6]])=0"
273.5999999999999 612 "_"
273.5999999999999 612 "t_"
280.19999999999993 612 "h_"
286.79999999999995 612 "e_"
293.4 612 "n"
306.6 612 "_"
306.6 612 "g_"
313.20000000000005 612 "o_"
319.80000000000007 612 "t_"
326.4000000000001 612 "o"
339.60000000000014 612 "notperm;"
95.39999999999998 624 "writecr;"
95.39999999999998 636 "write(|"
134.99999999999994 636 "<dddddd|"
181.1999999999999 636 ">,aabb,bbcc,ccdd,ddee,eeff,ffaa,"
207.59999999999988 648 "aabb+bbcc+ccdd+ddee+eeff+ffaa);"
36 660 "notperm: _"
95.39999999999998 660 "e_"
101.99999999999997 660 "n_"
108.59999999999997 660 "d for i;"
36 672 "notff: _"
82.19999999999999 672 "e_"
88.79999999999998 672 "n_"
95.39999999999998 672 "d ff;"
36 684 "notee: _"
82.19999999999999 684 "e_"
88.79999999999998 684 "n_"
95.39999999999998 684 "d ee;"
36 696 "notdd: _"
82.19999999999999 696 "e_"
88.79999999999998 696 "n_"
95.39999999999998 696 "d dd;"
36 708 "notcc: _"
82.19999999999999 708 "e_"
88.79999999999998 708 "n_"
95.39999999999998 708 "d cc;"
36 720 "notbb: _"
82.19999999999999 720 "e_"
88.79999999999998 720 "n_"
95.39999999999998 720 "d bb;"
42.6 732 "_"
42.6 732 "e_"
49.2 732 "n_"
55.800000000000004 732 "d aa;"
55.800000000000004 744 "clock:=clock count;"
55.800000000000004 756 "writecr;"
55.800000000000004 768 "write(|"
95.39999999999998 768 "<dddddddd.dd|"
174.5999999999999 768 ">,clock)"
36 780 "_"
36 780 "e_"
42.6 780 "n_"
49.2 780 "d;"
36 792 "t<"