%TGIF 4.1.25 state(0,37,100.000,0,64,0,8,1,9,1,1,0,0,1,0,1,1,'Courier',0,97920,0,0,0,10,0,0,1,0,0,16,0,0,4,4,1,0,1088,1408,1,0,2880,0). % % @(#)$Header: /cvsroot/mifluz/mifluz/doc/dbcompress.obj,v 1.2 2001/06/29 14:14:08 loic Exp $ % %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, 49931, 53052, 65535, 49344, 52171, 1, "cyan", 0, 65535, 65535, 0, 65535, 65535, 1, "CadetBlue", 22885, 40569, 42649, 24415, 40606, 41120, 1, "white", 65535, 65535, 65535, 65535, 65535, 65535, 1, "black", 0, 0, 0, 0, 0, 0, 1, "DarkSlateGray", 10402, 19764, 18724, 12079, 20303, 20303, 1 ]). script_frac("0.6"). fg_bg_colors('black','white'). page(1,"",1,''). group([ oval('black','',24,352,328,418,0,1,1,981,0,0,0,0,0,'1',0,[ ]), poly('black','',2,[ 24,396,24,702],0,1,1,980,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]), arc('black','',0,1,1,0,24,637,176,702,24,702,328,714,0,304,130,-11520,11008,979,0,0,8,3,0,0,0,'1','8','3',0,[ ]), poly('black','',2,[ 328,396,328,702],0,1,1,978,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]) ], 977,0,0,[ ]). group([ box('black','',40,448,104,512,0,1,1,987,0,0,0,0,0,'1',0,[ ]), box('black','',49,476,95,503,23,1,1,986,0,0,0,0,0,'1',0,[ ]), box('black','',40,448,104,467,3,1,1,985,0,0,0,0,0,'1',0,[ ]), text('black',58,484,1,0,1,50,16,984,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,497,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',58,457,1,0,1,40,16,983,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,470,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 982,0,0,[ ]). group([ box('black','',280,112,408,288,0,1,1,999,0,0,0,0,0,'1',0,[ ]), box('black','',280,112,408,160,13,1,1,998,0,0,0,0,0,'1',0,[ ]), text('black',328,128,1,0,1,20,16,997,13,3,0,0,0,0,2,20,16,0,0,"",0,0,0,0,141,'',[ minilines(20,16,0,0,0,0,0,[ mini_line(20,13,3,0,0,0,[ str_block(0,20,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,20,13,3,0,0,0,0,0,0,0, "BH")]) ]) ])]), box('black','',296,176,392,272,0,1,1,996,0,0,0,0,0,'1',0,[ ]), text('black',312,208,1,0,1,70,16,995,13,3,0,0,0,0,2,70,16,0,0,"",0,0,0,0,221,'',[ minilines(70,16,0,0,0,0,0,[ mini_line(70,13,3,0,0,0,[ str_block(0,70,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,70,13,3,0,0,0,0,0,0,0, "db_page")]) ]) ])]) ], 994,0,0,[ ]). poly('black','',2,[ 104,448,480,368],2,1,1,1000,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',2,[ 480,368,520,328],0,1,1,1002,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). box('black','',536,249,616,272,23,1,1,1004,0,0,0,0,0,'1',0,[ ]). poly('black','',2,[ 520,304,360,240],2,1,1,1005,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). group([ group([ box('black','',72,624,136,688,0,1,1,1036,0,0,0,0,0,'1',0,[ ]), box('black','',81,652,127,679,23,1,1,1035,0,0,0,0,0,'1',0,[ ]), box('black','',72,624,136,643,3,1,1,1034,0,0,0,0,0,'1',0,[ ]), text('black',90,660,1,0,1,50,16,1033,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,673,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',90,633,1,0,1,40,16,1032,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,646,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 1031,0,0,[ ]), group([ box('black','',88,640,152,704,0,1,1,1030,0,0,0,0,0,'1',0,[ ]), box('black','',97,668,143,695,23,1,1,1029,0,0,0,0,0,'1',0,[ ]), box('black','',88,640,152,659,3,1,1,1028,0,0,0,0,0,'1',0,[ ]), text('black',106,676,1,0,1,50,16,1027,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,689,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',106,649,1,0,1,40,16,1026,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,662,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 1025,0,0,[ ]), group([ box('black','',104,656,168,720,0,1,1,1024,0,0,0,0,0,'1',0,[ ]), box('black','',113,684,159,711,23,1,1,1023,0,0,0,0,0,'1',0,[ ]), box('black','',104,656,168,675,3,1,1,1022,0,0,0,0,0,'1',0,[ ]), text('black',122,692,1,0,1,50,16,1021,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,705,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',122,665,1,0,1,40,16,1020,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,678,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 1019,0,0,[ ]), group([ box('black','',120,672,184,736,0,1,1,1018,0,0,0,0,0,'1',0,[ ]), box('black','',129,700,175,727,23,1,1,1017,0,0,0,0,0,'1',0,[ ]), box('black','',120,672,184,691,3,1,1,1016,0,0,0,0,0,'1',0,[ ]), text('black',138,708,1,0,1,50,16,1015,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,721,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',138,681,1,0,1,40,16,1014,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,694,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 1013,0,0,[ ]), group([ box('black','',136,688,200,752,0,1,1,1012,0,0,0,0,0,'1',0,[ ]), box('black','',145,716,191,743,23,1,1,1011,0,0,0,0,0,'1',0,[ ]), box('black','',136,688,200,707,3,1,1,1010,0,0,0,0,0,'1',0,[ ]), text('black',154,724,1,0,1,50,16,1009,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,737,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',154,697,1,0,1,40,16,1008,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,710,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 1007,0,0,[ ]) ], 1006,0,0,[ ]). rcbox('black','',456,192,696,416,0,1,1,0,16,1038,0,0,0,0,'1',0,[ ]). text('black',584,168,1,1,1,110,16,1039,13,3,0,0,0,0,2,110,16,0,0,"",0,0,0,0,181,'',[ minilines(110,16,0,0,1,0,0,[ mini_line(110,13,3,0,0,0,[ str_block(0,110,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,110,13,3,0,0,0,0,0,0,0, "Compression")]) ]) ])]). text('black',552,504,2,1,1,131,56,1040,22,6,0,0,0,0,2,131,56,0,0,"",0,0,0,0,526,'',[ minilines(131,56,0,0,1,0,0,[ mini_line(130,22,6,0,0,0,[ str_block(0,130,22,6,0,-1,0,0,0,[ str_seg('black','Times-Roman',0,138240,130,22,6,0,-1,0,0,0,0,0, "Compression")]) ]), mini_line(131,22,6,0,0,0,[ str_block(0,131,22,6,0,-1,0,0,0,[ str_seg('black','Times-Roman',0,138240,131,22,6,0,-1,0,0,0,0,0, "(no overflow)")]) ]) ])]). box('black','',528,240,624,328,0,1,1,1041,0,0,0,0,0,'1',0,[ ]). group([ rcbox('black','',784,336,864,728,0,1,1,0,16,1044,0,0,0,0,'1',0,[ ]), text('black',824,296,2,1,1,160,32,1043,13,3,0,0,0,0,2,160,32,0,0,"",0,0,0,0,309,'',[ minilines(160,32,0,0,1,0,0,[ mini_line(80,13,3,0,0,0,[ str_block(0,80,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,80,13,3,0,0,0,0,0,0,0, "weakcmpr")]) ]), mini_line(160,13,3,0,0,0,[ str_block(0,160,13,3,0,-5,0,0,0,[ str_seg('black','Courier',0,97920,160,13,3,0,-5,0,0,0,0,0, "(free page list)")]) ]) ])]) ], 1042,0,0,[ ]). poly('black','',4,[ 816,384,672,640,280,640,168,656],1,1,1,1045,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',2,[ 824,432,672,640],1,1,1,1046,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',2,[ 816,480,672,640],1,1,1,1047,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',2,[ 272,640,184,672],1,1,1,1048,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). group([ poly('black','',5,[ 256,88,360,160,376,232,416,320,424,328],0,1,1,1053,0,0,5,0,0,0,0,'1',0,0, "00","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]), poly('black','',5,[ 256,104,328,152,344,160,360,232,408,328],0,1,1,1052,0,0,5,0,0,0,0,'1',0,0, "00","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]), poly('black','',4,[ 248,304,320,200,368,176,448,88],0,1,1,1051,0,0,5,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]), poly('black','',4,[ 256,312,328,216,376,184,448,104],0,1,1,1050,0,0,5,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]) ], 1049,0,0,[ ]). text('black',128,147,1,1,1,200,16,1076,13,3,0,0,0,0,2,200,16,0,0,"",0,0,0,0,160,'',[ minilines(200,16,0,0,1,0,0,[ mini_line(200,13,3,0,0,0,[ str_block(0,200,13,3,0,-5,0,0,0,[ str_seg('black','Courier',0,97920,200,13,3,0,-5,0,0,0,0,0, "Big page (in memory)")]) ]) ])]). poly('black','',3,[ 128,176,128,224,256,224],1,1,1,1080,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). text('black',120,275,1,1,1,200,16,1081,13,3,0,0,0,0,2,200,16,0,0,"",0,0,0,0,288,'',[ minilines(200,16,0,0,1,0,0,[ mini_line(200,13,3,0,0,0,[ str_block(0,200,13,3,0,-5,0,0,0,[ str_seg('black','Courier',0,97920,200,13,3,0,-5,0,0,0,0,0, "Small page (on disk)")]) ]) ])]). poly('black','',2,[ 80,296,80,440],1,1,1,1085,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). text('black',808,107,2,1,1,300,32,1086,13,3,0,0,0,0,2,300,32,0,0,"",0,0,0,0,120,'',[ minilines(300,32,0,0,1,0,0,[ mini_line(270,13,3,0,0,0,[ str_block(0,270,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,270,13,3,0,-1,0,0,0,0,0, "weakcmpr is a DB that keeps")]) ]), mini_line(300,13,3,0,0,0,[ str_block(0,300,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,300,13,3,0,-1,0,0,0,0,0, "track of unused overflow pages")]) ]) ])]). poly('black','',2,[ 840,152,840,280],1,1,1,1090,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). page(2,"",1,''). group([ oval('black','',32,352,336,418,0,1,1,757,0,0,0,0,0,'1',0,[ ]), poly('black','',2,[ 32,396,32,702],0,1,1,756,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]), arc('black','',0,1,1,0,32,637,184,702,32,702,336,714,0,304,130,-11520,11008,755,0,0,8,3,0,0,0,'1','8','3',0,[ ]), poly('black','',2,[ 336,396,336,702],0,1,1,754,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]) ], 753,0,0,[ ]). group([ box('black','',48,448,112,512,0,1,1,763,0,0,0,0,0,'1',0,[ ]), box('black','',57,476,103,503,23,1,1,762,0,0,0,0,0,'1',0,[ ]), box('black','',48,448,112,467,3,1,1,761,0,0,0,0,0,'1',0,[ ]), text('black',66,484,1,0,1,50,16,760,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,497,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',66,457,1,0,1,40,16,759,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,470,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 758,0,0,[ ]). group([ box('black','',144,448,208,512,0,1,1,769,0,0,0,0,0,'1',0,[ ]), box('black','',153,476,199,503,23,1,1,768,0,0,0,0,0,'1',0,[ ]), box('black','',144,448,208,467,3,1,1,767,0,0,0,0,0,'1',0,[ ]), text('black',162,484,1,0,1,50,16,766,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,497,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',162,457,1,0,1,40,16,765,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,470,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 764,0,0,[ ]). group([ box('black','',288,112,416,288,0,1,1,775,0,0,0,0,0,'1',0,[ ]), box('black','',288,112,416,160,13,1,1,774,0,0,0,0,0,'1',0,[ ]), text('black',336,128,1,0,1,20,16,773,13,3,0,0,0,0,2,20,16,0,0,"",0,0,0,0,141,'',[ minilines(20,16,0,0,0,0,0,[ mini_line(20,13,3,0,0,0,[ str_block(0,20,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,20,13,3,0,0,0,0,0,0,0, "BH")]) ]) ])]), box('black','',304,176,400,272,0,1,1,772,0,0,0,0,0,'1',0,[ ]), text('black',320,208,1,0,1,70,16,771,13,3,0,0,0,0,2,70,16,0,0,"",0,0,0,0,221,'',[ minilines(70,16,0,0,0,0,0,[ mini_line(70,13,3,0,0,0,[ str_block(0,70,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,70,13,3,0,0,0,0,0,0,0, "db_page")]) ]) ])]) ], 770,0,0,[ ]). poly('black','',2,[ 112,448,488,368],2,1,1,776,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',2,[ 208,448,488,368],2,1,1,777,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',2,[ 488,368,528,328],0,1,1,778,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). box('black','',544,277,624,300,23,1,1,785,0,0,0,0,0,'1',0,[ ]). box('black','',544,249,624,272,23,1,1,786,0,0,0,0,0,'1',0,[ ]). poly('black','',2,[ 528,304,368,240],2,1,1,787,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). group([ group([ box('black','',80,624,144,688,0,1,1,823,0,0,0,0,0,'1',0,[ ]), box('black','',89,652,135,679,23,1,1,822,0,0,0,0,0,'1',0,[ ]), box('black','',80,624,144,643,3,1,1,821,0,0,0,0,0,'1',0,[ ]), text('black',98,660,1,0,1,50,16,820,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,673,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',98,633,1,0,1,40,16,819,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,646,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 818,0,0,[ ]), group([ box('black','',96,640,160,704,0,1,1,817,0,0,0,0,0,'1',0,[ ]), box('black','',105,668,151,695,23,1,1,816,0,0,0,0,0,'1',0,[ ]), box('black','',96,640,160,659,3,1,1,815,0,0,0,0,0,'1',0,[ ]), text('black',114,676,1,0,1,50,16,814,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,689,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',114,649,1,0,1,40,16,813,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,662,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 812,0,0,[ ]), group([ box('black','',112,656,176,720,0,1,1,811,0,0,0,0,0,'1',0,[ ]), box('black','',121,684,167,711,23,1,1,810,0,0,0,0,0,'1',0,[ ]), box('black','',112,656,176,675,3,1,1,809,0,0,0,0,0,'1',0,[ ]), text('black',130,692,1,0,1,50,16,808,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,705,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',130,665,1,0,1,40,16,807,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,678,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 806,0,0,[ ]), group([ box('black','',128,672,192,736,0,1,1,805,0,0,0,0,0,'1',0,[ ]), box('black','',137,700,183,727,23,1,1,804,0,0,0,0,0,'1',0,[ ]), box('black','',128,672,192,691,3,1,1,803,0,0,0,0,0,'1',0,[ ]), text('black',146,708,1,0,1,50,16,802,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,721,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',146,681,1,0,1,40,16,801,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,694,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 800,0,0,[ ]), group([ box('black','',144,688,208,752,0,1,1,799,0,0,0,0,0,'1',0,[ ]), box('black','',153,716,199,743,23,1,1,798,0,0,0,0,0,'1',0,[ ]), box('black','',144,688,208,707,3,1,1,797,0,0,0,0,0,'1',0,[ ]), text('black',162,724,1,0,1,50,16,796,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,737,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',162,697,1,0,1,40,16,795,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,710,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 794,0,0,[ ]) ], 793,0,0,[ ]). poly('black','',2,[ 80,456,144,456],1,3,1,824,0,0,0,0,0,0,0,'3',0,0, "0","",[ 0,12,5,0,'12','5','0'],[0,12,5,0,'12','5','0'],[ ]). rcbox('black','',464,192,704,416,0,1,1,0,16,825,0,0,0,0,'1',0,[ ]). text('black',592,168,1,1,1,110,16,826,13,3,0,0,0,0,2,110,16,0,0,"",0,0,0,0,181,'',[ minilines(110,16,0,0,1,0,0,[ mini_line(110,13,3,0,0,0,[ str_block(0,110,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,110,13,3,0,0,0,0,0,0,0, "Compression")]) ]) ])]). text('black',560,504,4,1,1,179,112,827,22,6,0,0,0,0,2,179,112,0,0,"",0,0,0,0,526,'',[ minilines(179,112,0,0,1,0,0,[ mini_line(130,22,6,0,0,0,[ str_block(0,130,22,6,0,-1,0,0,0,[ str_seg('black','Times-Roman',0,138240,130,22,6,0,-1,0,0,0,0,0, "Compression")]) ]), mini_line(140,22,6,0,0,0,[ str_block(0,140,22,6,0,0,0,0,0,[ str_seg('black','Times-Roman',0,138240,140,22,6,0,0,0,0,0,0,0, "of overflowing")]) ]), mini_line(179,22,6,0,0,0,[ str_block(0,179,22,6,0,-1,0,0,0,[ str_seg('black','Times-Roman',0,138240,179,22,6,0,-1,0,0,0,0,0, "compressed pages")]) ]), mini_line(130,22,6,0,0,0,[ str_block(0,130,22,6,0,-1,0,0,0,[ str_seg('black','Times-Roman',0,138240,130,22,6,0,-1,0,0,0,0,0, "(simple case)")]) ]) ])]). box('black','',536,240,632,328,0,1,1,828,0,0,0,0,0,'1',0,[ ]). group([ rcbox('black','',792,336,872,728,0,1,1,0,16,831,0,0,0,0,'1',0,[ ]), text('black',832,296,2,1,1,160,32,830,13,3,0,0,0,0,2,160,32,0,0,"",0,0,0,0,309,'',[ minilines(160,32,0,0,1,0,0,[ mini_line(80,13,3,0,0,0,[ str_block(0,80,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,80,13,3,0,0,0,0,0,0,0, "weakcmpr")]) ]), mini_line(160,13,3,0,0,0,[ str_block(0,160,13,3,0,-5,0,0,0,[ str_seg('black','Courier',0,97920,160,13,3,0,-5,0,0,0,0,0, "(free page list)")]) ]) ])]) ], 829,0,0,[ ]). poly('black','',4,[ 824,384,680,640,288,640,176,656],1,1,1,832,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',2,[ 832,432,680,640],1,1,1,833,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',2,[ 824,480,680,640],1,1,1,834,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',2,[ 280,640,192,672],1,1,1,835,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). group([ poly('black','',5,[ 264,88,368,160,384,232,424,320,432,328],0,1,1,850,0,0,5,0,0,0,0,'1',0,0, "00","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]), poly('black','',5,[ 264,104,336,152,352,160,368,232,416,328],0,1,1,849,0,0,5,0,0,0,0,'1',0,0, "00","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]), poly('black','',4,[ 256,304,328,200,376,176,456,88],0,1,1,848,0,0,5,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]), poly('black','',4,[ 264,312,336,216,384,184,456,104],0,1,1,847,0,0,5,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]) ], 846,0,0,[ ]). text('black',592,344,4,1,1,189,44,851,9,2,0,0,0,0,2,189,44,0,0,"",0,0,0,0,353,'',[ minilines(189,44,0,0,1,0,0,[ mini_line(189,9,2,0,0,0,[ str_block(0,189,9,2,0,-1,0,0,0,[ str_seg('black','Courier',0,63360,189,9,2,0,-1,0,0,0,0,0, "this page is not the result")]) ]), mini_line(175,9,2,0,0,0,[ str_block(0,175,9,2,0,-1,0,0,0,[ str_seg('black','Courier',0,63360,175,9,2,0,-1,0,0,0,0,0, "of reading an overflowing")]) ]), mini_line(112,9,2,0,0,0,[ str_block(0,112,9,2,0,-3,0,0,0,[ str_seg('black','Courier',0,63360,112,9,2,0,-3,0,0,0,0,0, "compressed page:")]) ]), mini_line(133,9,2,0,0,0,[ str_block(0,133,9,2,0,-1,0,0,0,[ str_seg('black','Courier',0,63360,133,9,2,0,-1,0,0,0,0,0, "it has no BH->chain")]) ]) ])]). poly('black','',2,[ 824,360,208,480],1,1,1,874,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). page(3,"",1,''). group([ oval('black','',32,352,336,418,0,1,1,47,0,0,0,0,0,'1',0,[ ]), poly('black','',2,[ 32,396,32,702],0,1,1,52,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]), arc('black','',0,1,1,0,32,637,184,702,32,702,336,714,0,304,130,-11520,11008,56,0,0,8,3,0,0,0,'1','8','3',0,[ ]), poly('black','',2,[ 336,396,336,702],0,1,1,58,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]) ], 80,0,0,[ ]). group([ box('black','',48,448,112,512,0,1,1,91,0,0,0,0,0,'1',0,[ ]), box('black','',57,476,103,503,23,1,1,110,0,0,0,0,0,'1',0,[ ]), box('black','',48,448,112,467,3,1,1,132,0,0,0,0,0,'1',0,[ ]), text('black',66,484,1,0,1,50,16,111,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,497,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',66,457,1,0,1,40,16,101,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,470,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 144,0,0,[ ]). group([ box('black','',144,448,208,512,0,1,1,170,0,0,0,0,0,'1',0,[ ]), box('black','',153,476,199,503,23,1,1,171,0,0,0,0,0,'1',0,[ ]), box('black','',144,448,208,467,3,1,1,172,0,0,0,0,0,'1',0,[ ]), text('black',162,484,1,0,1,50,16,173,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,497,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',162,457,1,0,1,40,16,174,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,470,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 169,0,0,[ ]). group([ box('black','',288,112,416,288,0,1,1,199,0,0,0,0,0,'1',0,[ ]), box('black','',288,112,416,160,13,1,1,200,0,0,0,0,0,'1',0,[ ]), text('black',336,128,1,0,1,20,16,203,13,3,0,0,0,0,2,20,16,0,0,"",0,0,0,0,141,'',[ minilines(20,16,0,0,0,0,0,[ mini_line(20,13,3,0,0,0,[ str_block(0,20,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,20,13,3,0,0,0,0,0,0,0, "BH")]) ]) ])]), box('black','',304,176,400,272,0,1,1,212,0,0,0,0,0,'1',0,[ ]), text('black',320,208,1,0,1,70,16,213,13,3,0,0,0,0,2,70,16,0,0,"",0,0,0,0,221,'',[ minilines(70,16,0,0,0,0,0,[ mini_line(70,13,3,0,0,0,[ str_block(0,70,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,70,13,3,0,0,0,0,0,0,0, "db_page")]) ]) ])]) ], 230,0,0,[ ]). poly('black','',2,[ 112,448,488,368],2,1,1,231,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',2,[ 208,448,488,368],2,1,1,234,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',2,[ 488,368,528,328],0,1,1,237,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). box('black','',544,277,624,300,23,1,1,248,0,0,0,0,0,'1',0,[ ]). box('black','',544,249,624,272,23,1,1,257,0,0,0,0,0,'1',0,[ ]). poly('black','',2,[ 528,304,368,240],2,1,1,276,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',4,[ 304,128,144,112,32,224,48,448],1,1,1,306,1,0,3,0,0,0,0,'1',0,0, "6","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',4,[ 304,128,128,192,112,288,240,544],1,1,1,307,1,0,3,0,0,0,0,'1',0,0, "6","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',5,[ 304,128,80,96,16,144,16,368,144,448],1,1,1,308,1,0,3,0,0,0,0,'1',0,0, "70","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',5,[ 304,128,128,176,64,272,112,400,240,448],1,1,1,310,1,0,3,0,0,0,0,'1',0,0, "70","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). text('black',128,144,1,0,1,90,16,362,13,3,0,0,0,0,2,90,16,0,0,"",0,0,0,0,157,'',[ minilines(90,16,0,0,0,0,0,[ mini_line(90,13,3,0,0,0,[ str_block(0,90,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,90,13,3,0,0,0,0,0,0,0, "BH->CHAIN")]) ]) ])]). group([ group([ box('black','',80,624,144,688,0,1,1,369,0,0,0,0,0,'1',0,[ ]), box('black','',89,652,135,679,23,1,1,370,0,0,0,0,0,'1',0,[ ]), box('black','',80,624,144,643,3,1,1,371,0,0,0,0,0,'1',0,[ ]), text('black',98,660,1,0,1,50,16,372,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,673,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',98,633,1,0,1,40,16,373,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,646,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 368,0,0,[ ]), group([ box('black','',96,640,160,704,0,1,1,385,0,0,0,0,0,'1',0,[ ]), box('black','',105,668,151,695,23,1,1,386,0,0,0,0,0,'1',0,[ ]), box('black','',96,640,160,659,3,1,1,387,0,0,0,0,0,'1',0,[ ]), text('black',114,676,1,0,1,50,16,388,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,689,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',114,649,1,0,1,40,16,389,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,662,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 384,0,0,[ ]), group([ box('black','',112,656,176,720,0,1,1,391,0,0,0,0,0,'1',0,[ ]), box('black','',121,684,167,711,23,1,1,392,0,0,0,0,0,'1',0,[ ]), box('black','',112,656,176,675,3,1,1,393,0,0,0,0,0,'1',0,[ ]), text('black',130,692,1,0,1,50,16,394,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,705,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',130,665,1,0,1,40,16,395,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,678,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 390,0,0,[ ]), group([ box('black','',128,672,192,736,0,1,1,397,0,0,0,0,0,'1',0,[ ]), box('black','',137,700,183,727,23,1,1,398,0,0,0,0,0,'1',0,[ ]), box('black','',128,672,192,691,3,1,1,399,0,0,0,0,0,'1',0,[ ]), text('black',146,708,1,0,1,50,16,400,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,721,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',146,681,1,0,1,40,16,401,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,694,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 396,0,0,[ ]), group([ box('black','',144,688,208,752,0,1,1,403,0,0,0,0,0,'1',0,[ ]), box('black','',153,716,199,743,23,1,1,404,0,0,0,0,0,'1',0,[ ]), box('black','',144,688,208,707,3,1,1,405,0,0,0,0,0,'1',0,[ ]), text('black',162,724,1,0,1,50,16,406,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,737,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',162,697,1,0,1,40,16,407,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,710,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 402,0,0,[ ]) ], 438,0,0,[ ]). poly('black','',2,[ 80,456,144,456],1,3,1,485,0,0,0,0,0,0,0,'3',0,0, "0","",[ 0,12,5,0,'12','5','0'],[0,12,5,0,'12','5','0'],[ ]). rcbox('black','',464,192,704,416,0,1,1,0,16,492,0,0,0,0,'1',0,[ ]). text('black',592,168,1,1,1,110,16,493,13,3,0,0,0,0,2,110,16,0,0,"",0,0,0,0,181,'',[ minilines(110,16,0,0,1,0,0,[ mini_line(110,13,3,0,0,0,[ str_block(0,110,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,110,13,3,0,0,0,0,0,0,0, "Compression")]) ]) ])]). text('black',560,504,3,1,1,179,84,497,22,6,0,0,0,0,2,179,84,0,0,"",0,0,0,0,526,'',[ minilines(179,84,0,0,1,0,0,[ mini_line(130,22,6,0,0,0,[ str_block(0,130,22,6,0,-1,0,0,0,[ str_seg('black','Times-Roman',0,138240,130,22,6,0,-1,0,0,0,0,0, "Compression")]) ]), mini_line(140,22,6,0,0,0,[ str_block(0,140,22,6,0,0,0,0,0,[ str_seg('black','Times-Roman',0,138240,140,22,6,0,0,0,0,0,0,0, "of overflowing")]) ]), mini_line(179,22,6,0,0,0,[ str_block(0,179,22,6,0,-1,0,0,0,[ str_seg('black','Times-Roman',0,138240,179,22,6,0,-1,0,0,0,0,0, "compressed pages")]) ]) ])]). box('black','',536,240,632,328,0,1,1,523,0,0,0,0,0,'1',0,[ ]). group([ rcbox('black','',792,336,872,728,0,1,1,0,16,524,0,0,0,0,'1',0,[ ]), text('black',832,296,2,1,1,160,32,529,13,3,0,0,0,0,2,160,32,0,0,"",0,0,0,0,309,'',[ minilines(160,32,0,0,1,0,0,[ mini_line(80,13,3,0,0,0,[ str_block(0,80,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,80,13,3,0,0,0,0,0,0,0, "weakcmpr")]) ]), mini_line(160,13,3,0,0,0,[ str_block(0,160,13,3,0,-5,0,0,0,[ str_seg('black','Courier',0,97920,160,13,3,0,-5,0,0,0,0,0, "(free page list)")]) ]) ])]) ], 542,0,0,[ ]). poly('black','',4,[ 824,384,680,640,288,640,176,656],1,1,1,543,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',2,[ 832,432,680,640],1,1,1,544,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',2,[ 824,480,680,640],1,1,1,545,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',2,[ 280,640,192,672],1,1,1,546,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). group([ box('black','',240,448,304,512,0,1,1,176,0,0,0,0,0,'1',0,[ ]), box('black','',240,448,304,467,3,1,1,178,0,0,0,0,0,'1',0,[ ]), text('black',258,457,1,0,1,40,16,180,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,470,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 594,0,0,[ ]). group([ box('black','',240,544,304,608,0,1,1,182,0,0,0,0,0,'1',0,[ ]), box('black','',240,544,304,563,3,1,1,184,0,0,0,0,0,'1',0,[ ]), text('black',258,553,1,0,1,40,16,186,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,566,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 598,0,0,[ ]). poly('black','',2,[ 304,480,824,528],1,1,1,599,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',2,[ 304,576,816,560],1,1,1,600,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). group([ poly('black','',5,[ 264,88,368,160,384,232,424,320,432,328],0,1,1,609,0,0,5,0,0,0,0,'1',0,0, "00","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]), poly('black','',5,[ 264,104,336,152,352,160,368,232,416,328],0,1,1,610,0,0,5,0,0,0,0,'1',0,0, "00","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]), poly('black','',4,[ 256,304,328,200,376,176,456,88],0,1,1,611,0,0,5,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]), poly('black','',4,[ 264,312,336,216,384,184,456,104],0,1,1,612,0,0,5,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]) ], 625,0,0,[ ]). text('black',592,344,6,1,1,203,66,653,9,2,0,0,0,0,2,203,66,0,0,"",0,0,0,0,353,'',[ minilines(203,66,0,0,1,0,0,[ mini_line(189,9,2,0,0,0,[ str_block(0,189,9,2,0,-1,0,0,0,[ str_seg('black','Courier',0,63360,189,9,2,0,-1,0,0,0,0,0, "overflowing compressed data")]) ]), mini_line(203,9,2,0,0,0,[ str_block(0,203,9,2,0,-7,0,0,0,[ str_seg('black','Courier',0,63360,203,9,2,0,-7,0,0,0,0,0, "of this same page occupies 2 ")]) ]), mini_line(105,9,2,0,0,0,[ str_block(0,105,9,2,0,-1,0,0,0,[ str_seg('black','Courier',0,63360,105,9,2,0,-1,0,0,0,0,0, "z-pages instead")]) ]), mini_line(182,9,2,0,0,0,[ str_block(0,182,9,2,0,-3,0,0,0,[ str_seg('black','Courier',0,63360,182,9,2,0,-3,0,0,0,0,0, "of the previous 4 z-pages:")]) ]), mini_line(189,9,2,0,0,0,[ str_block(0,189,9,2,0,-1,0,0,0,[ str_seg('black','Courier',0,63360,189,9,2,0,-1,0,0,0,0,0, "2 pages are freed and added")]) ]), mini_line(168,9,2,0,0,0,[ str_block(0,168,9,2,0,-1,0,0,0,[ str_seg('black','Courier',0,63360,168,9,2,0,-1,0,0,0,0,0, "to the weakcmpr database")]) ]) ])]). page(4,"",1,''). group([ oval('black','',32,352,336,418,0,1,1,1191,0,0,0,0,0,'1',0,[ ]), poly('black','',2,[ 32,396,32,702],0,1,1,1190,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]), arc('black','',0,1,1,0,32,637,184,702,32,702,336,714,0,304,130,-11520,11008,1189,0,0,8,3,0,0,0,'1','8','3',0,[ ]), poly('black','',2,[ 336,396,336,702],0,1,1,1188,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]) ], 1187,0,0,[ ]). group([ box('black','',48,448,112,512,0,1,1,1197,0,0,0,0,0,'1',0,[ ]), box('black','',57,476,103,503,23,1,1,1196,0,0,0,0,0,'1',0,[ ]), box('black','',48,448,112,467,3,1,1,1195,0,0,0,0,0,'1',0,[ ]), text('black',66,484,1,0,1,50,16,1194,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,497,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',66,457,1,0,1,40,16,1193,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,470,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 1192,0,0,[ ]). box('black','',144,448,208,512,0,1,1,1203,0,0,0,0,0,'1',0,[ ]). box('black','',249,572,295,599,23,1,1,1202,0,0,0,0,0,'1',0,[ ]). box('black','',144,448,208,467,3,1,1,1201,0,0,0,0,0,'1',0,[ ]). text('black',258,580,1,0,1,50,16,1200,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,593,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]). text('black',162,457,1,0,1,40,16,1199,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,470,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]). group([ box('black','',288,112,416,288,0,1,1,1209,0,0,0,0,0,'1',0,[ ]), box('black','',288,112,416,160,13,1,1,1208,0,0,0,0,0,'1',0,[ ]), text('black',336,128,1,0,1,20,16,1207,13,3,0,0,0,0,2,20,16,0,0,"",0,0,0,0,141,'',[ minilines(20,16,0,0,0,0,0,[ mini_line(20,13,3,0,0,0,[ str_block(0,20,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,20,13,3,0,0,0,0,0,0,0, "BH")]) ]) ])]), box('black','',304,176,400,272,0,1,1,1206,0,0,0,0,0,'1',0,[ ]), text('black',320,208,1,0,1,70,16,1205,13,3,0,0,0,0,2,70,16,0,0,"",0,0,0,0,221,'',[ minilines(70,16,0,0,0,0,0,[ mini_line(70,13,3,0,0,0,[ str_block(0,70,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,70,13,3,0,0,0,0,0,0,0, "db_page")]) ]) ])]) ], 1204,0,0,[ ]). poly('black','',2,[ 112,448,488,368],2,1,1,1210,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',2,[ 208,448,488,368],2,1,1,1211,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',2,[ 488,368,528,328],0,1,1,1212,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). box('black','',544,277,624,300,23,1,1,1213,0,0,0,0,0,'1',0,[ ]). box('black','',544,249,624,272,23,1,1,1214,0,0,0,0,0,'1',0,[ ]). poly('black','',2,[ 528,304,368,240],1,1,1,1215,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',4,[ 304,128,144,112,32,224,48,448],1,1,1,1216,1,0,3,0,0,0,0,'1',0,0, "6","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',4,[ 304,128,128,192,112,288,240,544],1,1,1,1217,1,0,3,0,0,0,0,'1',0,0, "6","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',5,[ 304,128,80,96,16,144,16,368,144,448],1,1,1,1218,1,0,3,0,0,0,0,'1',0,0, "70","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',5,[ 304,128,128,176,64,272,112,400,240,448],1,1,1,1219,1,0,3,0,0,0,0,'1',0,0, "70","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). text('black',128,144,1,0,1,90,16,1220,13,3,0,0,0,0,2,90,16,0,0,"",0,0,0,0,157,'',[ minilines(90,16,0,0,0,0,0,[ mini_line(90,13,3,0,0,0,[ str_block(0,90,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,90,13,3,0,0,0,0,0,0,0, "BH->CHAIN")]) ]) ])]). group([ group([ box('black','',80,624,144,688,0,1,1,1251,0,0,0,0,0,'1',0,[ ]), box('black','',89,652,135,679,23,1,1,1250,0,0,0,0,0,'1',0,[ ]), box('black','',80,624,144,643,3,1,1,1249,0,0,0,0,0,'1',0,[ ]), text('black',98,660,1,0,1,50,16,1248,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,673,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',98,633,1,0,1,40,16,1247,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,646,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 1246,0,0,[ ]), group([ box('black','',96,640,160,704,0,1,1,1245,0,0,0,0,0,'1',0,[ ]), box('black','',105,668,151,695,23,1,1,1244,0,0,0,0,0,'1',0,[ ]), box('black','',96,640,160,659,3,1,1,1243,0,0,0,0,0,'1',0,[ ]), text('black',114,676,1,0,1,50,16,1242,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,689,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',114,649,1,0,1,40,16,1241,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,662,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 1240,0,0,[ ]), group([ box('black','',112,656,176,720,0,1,1,1239,0,0,0,0,0,'1',0,[ ]), box('black','',121,684,167,711,23,1,1,1238,0,0,0,0,0,'1',0,[ ]), box('black','',112,656,176,675,3,1,1,1237,0,0,0,0,0,'1',0,[ ]), text('black',130,692,1,0,1,50,16,1236,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,705,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',130,665,1,0,1,40,16,1235,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,678,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 1234,0,0,[ ]), group([ box('black','',128,672,192,736,0,1,1,1233,0,0,0,0,0,'1',0,[ ]), box('black','',137,700,183,727,23,1,1,1232,0,0,0,0,0,'1',0,[ ]), box('black','',128,672,192,691,3,1,1,1231,0,0,0,0,0,'1',0,[ ]), text('black',146,708,1,0,1,50,16,1230,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,721,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',146,681,1,0,1,40,16,1229,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,694,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 1228,0,0,[ ]), group([ box('black','',144,688,208,752,0,1,1,1227,0,0,0,0,0,'1',0,[ ]), box('black','',153,716,199,743,23,1,1,1226,0,0,0,0,0,'1',0,[ ]), box('black','',144,688,208,707,3,1,1,1225,0,0,0,0,0,'1',0,[ ]), text('black',162,724,1,0,1,50,16,1224,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,737,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]), text('black',162,697,1,0,1,40,16,1223,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,710,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 1222,0,0,[ ]) ], 1221,0,0,[ ]). poly('black','',2,[ 80,456,144,456],1,3,1,1252,0,0,0,0,0,0,0,'3',0,0, "0","",[ 0,12,5,0,'12','5','0'],[0,12,5,0,'12','5','0'],[ ]). rcbox('black','',464,192,704,416,0,1,1,0,16,1253,0,0,0,0,'1',0,[ ]). text('black',592,168,1,1,1,110,16,1254,13,3,0,0,0,0,2,110,16,0,0,"",0,0,0,0,181,'',[ minilines(110,16,0,0,1,0,0,[ mini_line(110,13,3,0,0,0,[ str_block(0,110,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,110,13,3,0,0,0,0,0,0,0, "Compression")]) ]) ])]). text('black',560,504,3,1,1,179,84,1255,22,6,0,0,0,0,2,179,84,0,0,"",0,0,0,0,526,'',[ minilines(179,84,0,0,1,0,0,[ mini_line(153,22,6,0,0,0,[ str_block(0,153,22,6,0,-1,0,0,0,[ str_seg('black','Times-Roman',0,138240,153,22,6,0,-1,0,0,0,0,0, "Decompression")]) ]), mini_line(140,22,6,0,0,0,[ str_block(0,140,22,6,0,0,0,0,0,[ str_seg('black','Times-Roman',0,138240,140,22,6,0,0,0,0,0,0,0, "of overflowing")]) ]), mini_line(179,22,6,0,0,0,[ str_block(0,179,22,6,0,-1,0,0,0,[ str_seg('black','Times-Roman',0,138240,179,22,6,0,-1,0,0,0,0,0, "compressed pages")]) ]) ])]). box('black','',536,216,632,336,0,1,1,1256,0,0,0,0,0,'1',0,[ ]). group([ rcbox('black','',792,336,872,728,0,1,1,0,16,1259,0,0,0,0,'1',0,[ ]), text('black',832,296,2,1,1,160,32,1258,13,3,0,0,0,0,2,160,32,0,0,"",0,0,0,0,309,'',[ minilines(160,32,0,0,1,0,0,[ mini_line(80,13,3,0,0,0,[ str_block(0,80,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,80,13,3,0,0,0,0,0,0,0, "weakcmpr")]) ]), mini_line(160,13,3,0,0,0,[ str_block(0,160,13,3,0,-5,0,0,0,[ str_seg('black','Courier',0,97920,160,13,3,0,-5,0,0,0,0,0, "(free page list)")]) ]) ])]) ], 1257,0,0,[ ]). poly('black','',4,[ 824,384,680,640,288,640,176,656],1,1,1,1260,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',2,[ 832,432,680,640],1,1,1,1261,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',2,[ 824,480,680,640],1,1,1,1262,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). poly('black','',2,[ 280,640,192,672],1,1,1,1263,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]). group([ box('black','',240,448,304,512,0,1,1,1267,0,0,0,0,0,'1',0,[ ]), box('black','',240,448,304,467,3,1,1,1266,0,0,0,0,0,'1',0,[ ]), text('black',258,457,1,0,1,40,16,1265,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,470,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 1264,0,0,[ ]). group([ box('black','',240,544,304,608,0,1,1,1271,0,0,0,0,0,'1',0,[ ]), box('black','',240,544,304,563,3,1,1,1270,0,0,0,0,0,'1',0,[ ]), text('black',258,553,1,0,1,40,16,1269,13,3,0,0,0,0,2,40,16,0,0,"",0,0,0,0,566,'',[ minilines(40,16,0,0,0,0,0,[ mini_line(40,13,3,0,0,0,[ str_block(0,40,13,3,0,0,0,0,0,[ str_seg('black','Courier',0,97920,40,13,3,0,0,0,0,0,0,0, "cmpr")]) ]) ])]) ], 1268,0,0,[ ]). text('black',592,344,6,1,1,203,66,1279,9,2,0,0,0,0,2,203,66,0,0,"",0,0,0,0,353,'',[ minilines(203,66,0,0,1,0,0,[ mini_line(189,9,2,0,0,0,[ str_block(0,189,9,2,0,-1,0,0,0,[ str_seg('black','Courier',0,63360,189,9,2,0,-1,0,0,0,0,0, "overflowing compressed data")]) ]), mini_line(203,9,2,0,0,0,[ str_block(0,203,9,2,0,-7,0,0,0,[ str_seg('black','Courier',0,63360,203,9,2,0,-7,0,0,0,0,0, "of this same page occupies 2 ")]) ]), mini_line(105,9,2,0,0,0,[ str_block(0,105,9,2,0,-1,0,0,0,[ str_seg('black','Courier',0,63360,105,9,2,0,-1,0,0,0,0,0, "z-pages instead")]) ]), mini_line(182,9,2,0,0,0,[ str_block(0,182,9,2,0,-3,0,0,0,[ str_seg('black','Courier',0,63360,182,9,2,0,-3,0,0,0,0,0, "of the previous 4 z-pages:")]) ]), mini_line(189,9,2,0,0,0,[ str_block(0,189,9,2,0,-1,0,0,0,[ str_seg('black','Courier',0,63360,189,9,2,0,-1,0,0,0,0,0, "2 pages are freed and added")]) ]), mini_line(168,9,2,0,0,0,[ str_block(0,168,9,2,0,-1,0,0,0,[ str_seg('black','Courier',0,63360,168,9,2,0,-1,0,0,0,0,0, "to the weakcmpr database")]) ]) ])]). poly('black','',2,[ 176,456,240,456],1,3,1,1284,0,0,0,0,0,0,0,'3',0,0, "0","",[ 0,12,5,0,'12','5','0'],[0,12,5,0,'12','5','0'],[ ]). box('black','',250,476,297,503,23,1,1,1295,0,0,0,0,0,'1',0,[ ]). text('black',258,484,1,0,1,42,16,1296,13,3,0,0,0,0,2,50,16,0,0,"",0,1,0,0,497,'',[ 258,484,258,484,308,500,840,0,0,1000,8,0,257,483,309,501],[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]). box('black','',153,476,199,503,23,1,1,1300,0,0,0,0,0,'1',0,[ ]). text('black',162,484,1,0,1,50,16,1301,13,3,0,0,0,0,2,50,16,0,0,"",0,0,0,0,497,'',[ minilines(50,16,0,0,0,0,0,[ mini_line(50,13,3,0,0,0,[ str_block(0,50,13,3,0,-1,0,0,0,[ str_seg('black','Courier',0,97920,50,13,3,0,-1,0,0,0,0,0, "zdata")]) ]) ])]). poly('black','',2,[ 264,456,264,544],1,3,1,1285,0,0,0,0,0,0,0,'3',0,0, "0","",[ 0,12,5,0,'12','5','0'],[0,12,5,0,'12','5','0'],[ ]). box('black','',544,217,624,240,23,1,1,1305,0,0,0,0,0,'1',0,[ ]). box('black','',544,305,624,328,23,1,1,1306,0,0,0,0,0,'1',0,[ ]). poly('black','',2,[ 528,264,304,128],1,1,1,1337,0,0,0,0,0,0,0,'1',0,0, "0","",[ 0,8,3,0,'8','3','0'],[0,8,3,0,'8','3','0'],[ ]).