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 u T S/ AVL-Trees:threads=2elapsed=19.457cpu=36.912gc=0.896factor=1.907zXZִF! #]ŗXf1-/6vRZ\2_:oFEQs Q̧3|Ids*k\~Td;B#>t9=jHWێH]W&z/W!X5` `Z/n3*&R9x-VBHK4x!z>/ax2,x\ayv#(]VmQSMUqzzG5W!ȶ>rJU2D]<\Ӫozl6!B@5ࢣ<6HjOy߳@vR)C,.fW~Bo,kdCVJwK"%6>q0au9vl<'(:+ ;z7oY5}"SؘMzNa5"}~Zvpߔ8IɎ1q5/[fQG y{FYObo>0gmE)P e2.֘\6< _vJG?1w7`%|uB%>-gYZ7zXZִF! b]ŗXi%6xoP{)ZY6]3{3R P V侾yt6F(?nqb2O9!v/D(#KdOW>T>P!'bm(MTA{w"G]A g/lE6 sR<@UQ?hI$}wx;ZdkicAP}9m8 ~RT^h9l~؇q9 v9mPyv`1,Miӓ ;$߳'Xl/?÷V,*b"oI?xA}ݼ5L t80*sJxF0Nw2 *0Օ/M$M!αuʶH_Ҫ1~討YִC*Lի }$K_!/eC+j:rSԨBF2J760u L&}͐ QoHꁊ]dv c~Q[z ):ݛ-T5s#'YN6H( TUa~bC&~R-=<(_md|dg4mR]`| rGXF;bBUheXEASRj ܄(/j+w2sA~;mWK2Vbaf>wNV@[H߿iTz뚝oC;Q3-]tVl("c45How%IO+꿼~$n q4BŸ Lkm4D# IU2OFa8fk ™Lg64QH^ [!mhDDyĔݮjapb0`;%.}Aڃ@wQ3@'(5'R5U ,1gYZ2c3b55ebaa85cb86021ad407f3cf8c6c74eb12ff aa80b06f4331f695b58af77ce63ad57a3d7bdca4 ae64a2f7f2b5f5602f211fda1a0b53d881e9582d bbde08b63895e3505fe3e258627fee67c001962a554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1   AVL-Trees