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 4t S/ AVL-Trees:threads=2elapsed=19.326cpu=36.744gc=0.868factor=1.907zXZִF! ]ŗXf1-/6vRZ\2_:oFEQs Q7dn3~~LRhE 9#ژ]}z!HfٌD@e DM At4u-Q=LZH!=TM4_M?GY%d# )g8Y!=>#^d[>Q *b72UZ7kOeDd◊HUG_cNU_oVL/e ٲQC@CE Ǹ^b8zlYέ(WA|% ¶@( w+\ cwGG1 % ka3c`( !;@I')7DkRc4iBcmfъቴaM*f܎~ԗw/Jj6&0Kzѣ:}҄Oiy[Zcit*[HLiZ $m8 ͽmd'{4$ta"~ e͐\XQm8`SSil aqɌP=֏d=B~ߵ,'+Msf2:pd7C18_F),?ovA +lB cMB;3 5J,? 1C`x2'^tX7u;εer(%I|bv쨍̯d)6~Q {?~aD̺YSo9q6lLJ].~ҴB1]?]BkzM[LAi&j*񔝓ƥg^0l&j]j%}Jױtx VPyY/9m, p!w,m  8?E [CަMDSXۧI A}m?{A RP4"EIajyC|v6LP[ǵO3in `a:kZKfi7$IDT):0CT%O'aQqb1*Ȓ>g8Ba%&*,s%]~ (XhX OBYM$0m'qp3`'NBZ h=yi$Xӵ;0ELLHpiB[Y;2mS~b-CՁ򾍠]W7苳vʇ N6_h'2b-w+%*ڞp>xGe:"  ȷr`8IkS<LJꏩn SQj,W[^(TYjFp<u"gyίsz  =SNGl|l=ae5rQ VTj nPALTͤ [r#oX_0 lOU9Vɰv5T' Y<gYZ2c3b55ebaa85cb86021ad407f3cf8c6c74eb12ff aa80b06f4331f695b58af77ce63ad57a3d7bdca4 ae64a2f7f2b5f5602f211fda1a0b53d881e9582d bbde08b63895e3505fe3e258627fee67c001962ae4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3   AVL-Trees