%TGIF 4.2.5 state(0,37,100.000,0,576,0,32,1,9,1,1,5,0,0,0,1,0,'Courier',0,195840,0,0,0,10,0,0,1,1,0,16,0,0,1,1,1,1,1088,1408,1,0,2880,1). % % @(#)$Header$ % %W% % unit("1 pixel/pixel"). color_info(11,65535,0,[ "magenta", 65535, 0, 65535, 65535, 0, 65535, 1, "red", 65535, 0, 0, 65535, 0, 0, 1, "green", 0, 65535, 0, 0, 65535, 0, 1, "blue", 0, 0, 65535, 0, 0, 65535, 1, "yellow", 65535, 65535, 0, 65535, 65535, 0, 1, "pink", 65535, 49367, 52184, 65535, 49344, 52171, 1, "cyan", 0, 65535, 65535, 0, 65535, 65535, 1, "CadetBlue", 24395, 40595, 41139, 24415, 40606, 41120, 1, "white", 65535, 65535, 65535, 65535, 65535, 65535, 1, "black", 0, 0, 0, 0, 0, 0, 1, "DarkSlateGray", 12069, 20297, 20297, 12079, 20303, 20303, 1 ]). script_frac("0.6"). fg_bg_colors('black','white'). dont_reencode("FFDingbests:ZapfDingbats"). objshadow_info('#c0c0c0',2,2). rotate_pivot(0,0,0,0). spline_tightness(1). page(1,"",1,''). poly('red','',2,[ 64,464,128,576],1,4,0,255,0,0,0,0,0,0,0,'4',0,0, "0","",[ 0,14,6,0,'14','6','0'],[0,14,6,0,'14','6','0'],[ ]). text('blue',544,882,2,0,1,209,90,434,30,7,0,0,0,0,-65534,161,74,0,0,"",0,1,0,1,912,'',[ 544,882,544,882,705,956,1298.14,0,0,1216.22,0,0,543,881,706,957],[ minilines(161,74,0,0,0,0,0,[ mini_line(161,30,7,0,0,0,[ str_block(0,161,30,7,0,-7,0,0,0,[ str_seg('black','Times-Roman',0,195840,161,30,7,0,-7,0,0,0,0,0, "atmosphere ")]) ]), mini_line(62,30,7,0,0,0,[ str_block(0,62,30,7,0,-2,0,0,0,[ str_seg('black','Times-Roman',0,195840,62,30,7,0,-2,0,0,0,0,0, "code")]) ]) ])]). box('white','',66,276,1034,750,0,1,1,606,0,0,0,0,0,'1',1,[ ]). text('blue',440,199,1,0,1,23,50,645,30,7,0,0,0,0,-65534,13,37,-1,0,"",0,1,0,1,229,'',[ 440,199,440,199,453,236,1800,0,0,1351.35,0,0,438,198,454,237],[ minilines(13,37,-1,0,0,0,0,[ mini_line(13,30,7,-1,0,0,[ str_block(0,13,30,7,-1,0,0,0,0,[ str_seg('black','Times-Italic',2,195840,13,30,7,-1,0,0,0,0,0,0, "z")]) ]) ])]). box('black','',480,96,544,160,0,3,1,648,0,0,0,0,0,'3',1,[ ]). box('blue','',544,352,608,416,31,3,1,699,0,0,0,0,0,'3',1,[ ]). box('DarkSlateGray','',608,352,672,416,22,3,1,833,0,0,0,0,0,'3',1,[ ]). box('blue','',480,352,544,416,31,3,1,908,0,0,0,0,0,'3',1,[ ]). box('blue','',608,288,672,352,31,3,1,909,0,0,0,0,0,'3',1,[ ]). box('blue','',672,288,736,352,31,3,1,921,0,0,0,0,0,'3',1,[ ]). box('blue','',736,160,800,224,31,3,1,923,0,0,0,0,0,'3',1,[ ]). box('blue','',800,160,864,224,31,3,1,924,0,0,0,0,0,'3',1,[ ]). box('blue','',864,224,928,288,31,3,1,925,0,0,0,0,0,'3',1,[ ]). box('blue','',864,288,928,352,31,3,1,926,0,0,0,0,0,'3',1,[ ]). box('blue','',864,352,928,416,31,3,1,927,0,0,0,0,0,'3',1,[ ]). box('blue','',928,352,992,416,31,3,1,928,0,0,0,0,0,'3',1,[ ]). box('blue','',992,352,1056,416,31,3,1,929,0,0,0,0,0,'3',1,[ ]). box('black','',544,96,608,160,0,3,1,974,0,0,0,0,0,'3',1,[ ]). box('black','',608,96,672,160,0,3,1,975,0,0,0,0,0,'3',1,[ ]). box('black','',672,96,736,160,0,3,1,976,0,0,0,0,0,'3',1,[ ]). box('black','',736,96,800,160,0,3,1,977,0,0,0,0,0,'3',1,[ ]). box('black','',800,96,864,160,0,3,1,978,0,0,0,0,0,'3',1,[ ]). box('black','',864,96,928,160,0,3,1,979,0,0,0,0,0,'3',1,[ ]). box('black','',928,96,992,160,0,3,1,980,0,0,0,0,0,'3',1,[ ]). box('black','',992,96,1056,160,0,3,1,981,0,0,0,0,0,'3',1,[ ]). box('black','',992,160,1056,224,0,3,1,982,0,0,0,0,0,'3',1,[ ]). box('black','',928,160,992,224,0,3,1,983,0,0,0,0,0,'3',1,[ ]). box('black','',864,160,928,224,0,3,1,984,0,0,0,0,0,'3',1,[ ]). box('black','',928,224,992,288,0,3,1,985,0,0,0,0,0,'3',1,[ ]). box('black','',992,224,1056,288,0,3,1,986,0,0,0,0,0,'3',1,[ ]). box('black','',992,288,1056,352,0,3,1,987,0,0,0,0,0,'3',1,[ ]). box('black','',928,288,992,352,0,3,1,988,0,0,0,0,0,'3',1,[ ]). box('black','',672,160,736,224,0,3,1,989,0,0,0,0,0,'3',1,[ ]). box('black','',608,160,672,224,0,3,1,990,0,0,0,0,0,'3',1,[ ]). box('black','',608,224,672,288,0,3,1,991,0,0,0,0,0,'3',1,[ ]). box('black','',544,160,608,224,0,3,1,992,0,0,0,0,0,'3',1,[ ]). box('black','',480,160,544,224,0,3,1,993,0,0,0,0,0,'3',1,[ ]). box('black','',480,224,544,288,0,3,1,994,0,0,0,0,0,'3',1,[ ]). box('black','',544,224,608,288,0,3,1,995,0,0,0,0,0,'3',1,[ ]). box('black','',544,288,608,352,0,3,1,996,0,0,0,0,0,'3',1,[ ]). box('black','',480,288,544,352,0,3,1,997,0,0,0,0,0,'3',1,[ ]). text('blue',664,407,1,0,1,27,50,2489,30,7,0,0,0,0,-65534,15,37,-1,0,"",0,1,0,1,437,'',[ 664,407,664,407,679,444,1800,0,0,1351.35,0,0,662,406,680,445],[ minilines(15,37,-1,0,0,0,0,[ mini_line(15,30,7,-1,0,0,[ str_block(0,15,30,7,-1,0,0,0,0,[ str_seg('black','Times-Italic',2,195840,15,30,7,-1,0,0,0,0,0,0, "x")]) ]) ])]). group([ poly('black','',2,[ 464,432,464,256],1,7,1,618,0,0,0,0,0,0,0,'7',1,0, "0","",[ 0,22,9,0,'22','9','0'],[0,22,9,0,'22','9','0'],[ ]), poly('black','',2,[ 461,429,653,429],1,7,1,635,0,0,0,0,0,0,0,'7',1,0, "0","",[ 0,22,9,0,'22','9','0'],[0,22,9,0,'22','9','0'],[ ]) ], 2521,0,0,[ ]). box('black','',464,896,528,960,0,3,1,2525,0,0,0,0,0,'3',1,[ ]). box('blue','',752,896,816,960,31,3,1,2527,0,0,0,0,0,'3',1,[ ]). box('DarkSlateGray','',464,992,528,1056,22,3,1,2529,0,0,0,0,0,'3',1,[ ]). text('blue',832,882,2,0,1,244,90,2540,30,7,0,0,0,0,-65534,188,74,0,0,"",0,1,0,1,912,'',[ 832,882,832,882,1020,956,1298.14,0,0,1216.22,0,0,831,881,1021,957],[ minilines(188,74,0,0,0,0,0,[ mini_line(188,30,7,0,0,0,[ str_block(0,188,30,7,0,-7,0,0,0,[ str_seg('black','Times-Roman',0,195840,188,30,7,0,-7,0,0,0,0,0, "wall-bounded ")]) ]), mini_line(62,30,7,0,0,0,[ str_block(0,62,30,7,0,-2,0,0,0,[ str_seg('black','Times-Roman',0,195840,62,30,7,0,-2,0,0,0,0,0, "code")]) ]) ])]). text('blue',544,978,2,0,1,169,90,2549,30,7,0,0,0,0,-65534,130,74,0,0,"",0,1,0,1,1008,'',[ 544,978,544,978,674,1052,1298.14,0,0,1216.22,0,0,543,977,675,1053],[ minilines(130,74,0,0,0,0,0,[ mini_line(110,30,7,0,0,0,[ str_block(0,110,30,7,0,-7,0,0,0,[ str_seg('black','Times-Roman',0,195840,110,30,7,0,-7,0,0,0,0,0, "no code ")]) ]), mini_line(130,30,7,0,0,0,[ str_block(0,130,30,7,0,-2,0,0,0,[ str_seg('black','Times-Roman',0,195840,130,30,7,0,-2,0,0,0,0,0, "(obstacle)")]) ]) ])]). box('DarkSlateGray','',672,352,736,416,22,3,1,2572,0,0,0,0,0,'3',1,[ ]). box('DarkSlateGray','',736,352,800,416,22,3,1,2573,0,0,0,0,0,'3',1,[ ]). box('DarkSlateGray','',800,288,864,352,22,3,1,2575,0,0,0,0,0,'3',1,[ ]). box('DarkSlateGray','',736,288,800,352,22,3,1,2576,0,0,0,0,0,'3',1,[ ]). box('DarkSlateGray','',736,224,800,288,22,3,1,2577,0,0,0,0,0,'3',1,[ ]). box('DarkSlateGray','',800,224,864,288,22,3,1,2578,0,0,0,0,0,'3',1,[ ]). box('black','',480,480,544,544,0,3,1,2686,0,0,0,0,0,'3',1,[ ]). box('blue','',544,736,608,800,31,3,1,2687,0,0,0,0,0,'3',1,[ ]). box('DarkSlateGray','',608,736,672,800,22,3,1,2688,0,0,0,0,0,'3',1,[ ]). box('blue','',480,736,544,800,31,3,1,2689,0,0,0,0,0,'3',1,[ ]). box('blue','',608,672,672,736,31,3,1,2690,0,0,0,0,0,'3',1,[ ]). box('blue','',672,672,736,736,31,3,1,2691,0,0,0,0,0,'3',1,[ ]). box('blue','',672,608,736,672,31,3,1,2692,0,0,0,0,0,'3',1,[ ]). box('blue','',736,544,800,608,31,3,1,2693,0,0,0,0,0,'3',1,[ ]). box('blue','',800,544,864,608,31,3,1,2694,0,0,0,0,0,'3',1,[ ]). box('blue','',864,608,928,672,31,3,1,2695,0,0,0,0,0,'3',1,[ ]). box('blue','',864,672,928,736,31,3,1,2696,0,0,0,0,0,'3',1,[ ]). box('blue','',864,736,928,800,31,3,1,2697,0,0,0,0,0,'3',1,[ ]). box('blue','',928,736,992,800,31,3,1,2698,0,0,0,0,0,'3',1,[ ]). box('blue','',992,736,1056,800,31,3,1,2699,0,0,0,0,0,'3',1,[ ]). box('black','',544,480,608,544,0,3,1,2700,0,0,0,0,0,'3',1,[ ]). box('black','',608,480,672,544,0,3,1,2701,0,0,0,0,0,'3',1,[ ]). box('black','',672,480,736,544,0,3,1,2702,0,0,0,0,0,'3',1,[ ]). box('black','',736,480,800,544,0,3,1,2703,0,0,0,0,0,'3',1,[ ]). box('black','',800,480,864,544,0,3,1,2704,0,0,0,0,0,'3',1,[ ]). box('black','',864,480,928,544,0,3,1,2705,0,0,0,0,0,'3',1,[ ]). box('black','',928,480,992,544,0,3,1,2706,0,0,0,0,0,'3',1,[ ]). box('black','',992,480,1056,544,0,3,1,2707,0,0,0,0,0,'3',1,[ ]). box('black','',992,544,1056,608,0,3,1,2708,0,0,0,0,0,'3',1,[ ]). box('black','',928,544,992,608,0,3,1,2709,0,0,0,0,0,'3',1,[ ]). box('black','',864,544,928,608,0,3,1,2710,0,0,0,0,0,'3',1,[ ]). box('black','',928,608,992,672,0,3,1,2711,0,0,0,0,0,'3',1,[ ]). box('black','',992,608,1056,672,0,3,1,2712,0,0,0,0,0,'3',1,[ ]). box('black','',992,672,1056,736,0,3,1,2713,0,0,0,0,0,'3',1,[ ]). box('black','',928,672,992,736,0,3,1,2714,0,0,0,0,0,'3',1,[ ]). box('black','',672,544,736,608,0,3,1,2715,0,0,0,0,0,'3',1,[ ]). box('black','',608,544,672,608,0,3,1,2716,0,0,0,0,0,'3',1,[ ]). box('black','',608,608,672,672,0,3,1,2717,0,0,0,0,0,'3',1,[ ]). box('black','',544,544,608,608,0,3,1,2718,0,0,0,0,0,'3',1,[ ]). box('black','',480,544,544,608,0,3,1,2719,0,0,0,0,0,'3',1,[ ]). box('black','',480,608,544,672,0,3,1,2720,0,0,0,0,0,'3',1,[ ]). box('black','',544,608,608,672,0,3,1,2721,0,0,0,0,0,'3',1,[ ]). box('black','',544,672,608,736,0,3,1,2722,0,0,0,0,0,'3',1,[ ]). box('black','',480,672,544,736,0,3,1,2723,0,0,0,0,0,'3',1,[ ]). box('DarkSlateGray','',672,736,736,800,22,3,1,2728,0,0,0,0,0,'3',1,[ ]). box('DarkSlateGray','',736,736,800,800,22,3,1,2729,0,0,0,0,0,'3',1,[ ]). box('DarkSlateGray','',800,736,864,800,22,3,1,2730,0,0,0,0,0,'3',1,[ ]). box('DarkSlateGray','',800,672,864,736,22,3,1,2731,0,0,0,0,0,'3',1,[ ]). box('DarkSlateGray','',736,672,800,736,22,3,1,2732,0,0,0,0,0,'3',1,[ ]). box('DarkSlateGray','',736,608,800,672,22,3,1,2733,0,0,0,0,0,'3',1,[ ]). box('DarkSlateGray','',800,608,864,672,22,3,1,2734,0,0,0,0,0,'3',1,[ ]). box('blue','',800,352,864,416,31,3,1,2742,0,0,0,0,0,'3',1,[ ]). box('DarkSlateGray','',672,224,736,288,22,3,1,2744,0,0,0,0,0,'3',1,[ ]). poly('blue','',2,[ 672,224,736,288],0,6,1,2747,0,0,0,0,0,0,0,'6',1,0, "0","",[ 0,20,8,0,'20','8','0'],[0,20,8,0,'20','8','0'],[ ]). poly('blue','',2,[ 736,224,672,288],0,6,1,2748,0,0,0,0,0,0,0,'6',1,0, "0","",[ 0,20,8,0,'20','8','0'],[0,20,8,0,'20','8','0'],[ ]). poly('blue','',2,[ 800,224,864,288],0,6,1,2763,0,0,0,0,0,0,0,'6',1,0, "0","",[ 0,20,8,0,'20','8','0'],[0,20,8,0,'20','8','0'],[ ]). poly('blue','',2,[ 864,224,800,288],0,6,1,2764,0,0,0,0,0,0,0,'6',1,0, "0","",[ 0,20,8,0,'20','8','0'],[0,20,8,0,'20','8','0'],[ ]). poly('blue','',2,[ 800,288,864,352],0,6,1,2765,0,0,0,0,0,0,0,'6',1,0, "0","",[ 0,20,8,0,'20','8','0'],[0,20,8,0,'20','8','0'],[ ]). poly('blue','',2,[ 864,288,800,352],0,6,1,2766,0,0,0,0,0,0,0,'6',1,0, "0","",[ 0,20,8,0,'20','8','0'],[0,20,8,0,'20','8','0'],[ ]). poly('red','',2,[ 672,288,736,352],0,6,1,2767,0,0,0,0,0,0,0,'6',1,0, "0","",[ 0,20,8,0,'20','8','0'],[0,20,8,0,'20','8','0'],[ ]). poly('red','',2,[ 736,288,672,352],0,6,1,2768,0,0,0,0,0,0,0,'6',1,0, "0","",[ 0,20,8,0,'20','8','0'],[0,20,8,0,'20','8','0'],[ ]). poly('red','',2,[ 800,352,864,416],0,6,1,2778,0,0,0,0,0,0,0,'6',1,0, "0","",[ 0,20,8,0,'20','8','0'],[0,20,8,0,'20','8','0'],[ ]). poly('red','',2,[ 864,352,800,416],0,6,1,2779,0,0,0,0,0,0,0,'6',1,0, "0","",[ 0,20,8,0,'20','8','0'],[0,20,8,0,'20','8','0'],[ ]). text('black',480,804,1,0,1,40,34,2897,28,6,0,0,0,0,-65534,40,34,0,1,"",0,0,0,1,832,'',[ minilines(40,34,0,1,0,0,0,[ mini_line(40,28,6,0,1,0,[ str_block(0,40,28,6,0,1,0,0,0,[ str_seg('black','Courier-Bold',1,195840,40,28,6,0,1,0,0,0,0,0, "0m")]) ]) ])]). text('black',544,804,1,0,1,40,34,2903,28,6,0,0,0,0,-65534,40,34,0,1,"",0,0,0,1,832,'',[ minilines(40,34,0,1,0,0,0,[ mini_line(40,28,6,0,1,0,[ str_block(0,40,28,6,0,1,0,0,0,[ str_seg('black','Courier-Bold',1,195840,40,28,6,0,1,0,0,0,0,0, "0m")]) ]) ])]). text('black',608,804,1,0,1,40,34,2905,28,6,0,0,0,0,-65534,40,34,0,1,"",0,0,0,1,832,'',[ minilines(40,34,0,1,0,0,0,[ mini_line(40,28,6,0,1,0,[ str_block(0,40,28,6,0,1,0,0,0,[ str_seg('black','Courier-Bold',1,195840,40,28,6,0,1,0,0,0,0,0, "5m")]) ]) ])]). text('black',672,804,1,0,1,40,34,2906,28,6,0,0,0,0,-65534,40,34,0,1,"",0,0,0,1,832,'',[ minilines(40,34,0,1,0,0,0,[ mini_line(40,28,6,0,1,0,[ str_block(0,40,28,6,0,1,0,0,0,[ str_seg('black','Courier-Bold',1,195840,40,28,6,0,1,0,0,0,0,0, "5m")]) ]) ])]). text('black',736,804,1,0,1,60,34,2907,28,6,0,0,0,0,-65534,60,34,0,1,"",0,0,0,1,832,'',[ minilines(60,34,0,1,0,0,0,[ mini_line(60,28,6,0,1,0,[ str_block(0,60,28,6,0,1,0,0,0,[ str_seg('black','Courier-Bold',1,195840,60,28,6,0,1,0,0,0,0,0, "15m")]) ]) ])]). text('black',800,804,1,0,1,60,34,2908,28,6,0,0,0,0,-65534,60,34,0,1,"",0,0,0,1,832,'',[ minilines(60,34,0,1,0,0,0,[ mini_line(60,28,6,0,1,0,[ str_block(0,60,28,6,0,1,0,0,0,[ str_seg('black','Courier-Bold',1,195840,60,28,6,0,1,0,0,0,0,0, "15m")]) ]) ])]). text('black',864,804,1,0,1,40,34,2909,28,6,0,0,0,0,-65534,40,34,0,1,"",0,0,0,1,832,'',[ minilines(40,34,0,1,0,0,0,[ mini_line(40,28,6,0,1,0,[ str_block(0,40,28,6,0,1,0,0,0,[ str_seg('black','Courier-Bold',1,195840,40,28,6,0,1,0,0,0,0,0, "0m")]) ]) ])]). text('black',928,804,1,0,1,40,34,2910,28,6,0,0,0,0,-65534,40,34,0,1,"",0,0,0,1,832,'',[ minilines(40,34,0,1,0,0,0,[ mini_line(40,28,6,0,1,0,[ str_block(0,40,28,6,0,1,0,0,0,[ str_seg('black','Courier-Bold',1,195840,40,28,6,0,1,0,0,0,0,0, "0m")]) ]) ])]). text('black',992,804,1,0,1,40,34,2911,28,6,0,0,0,0,-65534,40,34,0,1,"",0,0,0,1,832,'',[ minilines(40,34,0,1,0,0,0,[ mini_line(40,28,6,0,1,0,[ str_block(0,40,28,6,0,1,0,0,0,[ str_seg('black','Courier-Bold',1,195840,40,28,6,0,1,0,0,0,0,0, "0m")]) ]) ])]).