SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info = 4D S/ AVL-Trees:threads=2elapsed=19.384cpu=36.716gc=0.760factor=1.897zXZִF! g]ŗXf1-/6vRZ\2_:oFEQs Q7dn3~~LRhE 9#ژ]}zH@n9xWey=3ilv&d J9\.}uDU#Z2*@ ֍2着NUO[#aD(j  |e^>ȼf[D2!A>&#U9 V;B&kb6c÷a}`d= TFP@,UΦ4ԾͼD|~tj+>̵kJo.vpeIyz9=oE6UQDg9| 7 ƴ.E g('Qsb=[?E|1(jG3yy{ g(w׎/? ̋|B˔*'Ku%|` t4u<" i[;]{< O J^W@%< <4Y^#%0f'ms7/&CRyq;X2WI4=ok{ %Riu1fʥo 2e$2ٝ0B98;}>%uYFxT,6ho? 뗣"7H*w}{3Vȓt K1m x+w2YsԭDsMa%%TJFQ/3JȶUO!P+OA1#i2t/V;TVlS\L;ZSժSuEb4Q@g/<\,\iYOnXeUz#hW%`NC?9=ŷc~(GH>ҁhr9QOF$+g&fEkoJg*Hfg)+lni&۽.DWSGa{ԙӊVc7D+x #_w|;FVzն!m4vSzh y. ks s(EeRS OɊذ­'-Pv>K!3'e3}vGTr0h4w 6 uM 3CL?rKm[uo*[\KS o^sMRwKP3-l1'"%s&)W>a~##ر S{!;=G.*J˝,#n0R{B:ÿwv΋ɵC>\^3V7&*&cBnI[O1@1)mqY[=Yx╠ TLC-rjޥ )0|ǪdA=%*@s!@΀`2BfpR9\|Rk߱nFaͨW?b- XVVgYZ2c3b55ebaa85cb86021ad407f3cf8c6c74eb12ff aa80b06f4331f695b58af77ce63ad57a3d7bdca4 ae64a2f7f2b5f5602f211fda1a0b53d881e9582d bbde08b63895e3505fe3e258627fee67c001962ab9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36   AVL-Trees