SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 22K L$$ ]/ AVL-Trees:threads=2elapsed=16.835cpu=31.988gc=0.820factor=1.907zXZִF! ]ŗXf1-/6vRZ\2_:oFEQs Q7dn3~~LRhE 9#ژ]}zVF [ H.k19EpkoN"敚%~4B$v]ٺ^e &o!aZVV!QnB S@pi}5cnobsY?{ װ eB1uU%? ;7%S7[wdt曀{ $=ykvd!_'ԩnC|!GӜg=E%HM8OK#ՌEϐm ;%T7Ε.2>rf^*ȯ4SXҩxñæS J@` d¸I)4U=ؕN?tK!(7ձgYZ7zXZִF! L]ŗXiɟy)j sC: x䛖:ͺqanӱy)-$ÏI[H ]thmHgYZ7zXZִF! W ]ŗXi%9(SN\=:"0$co0R %ҖU$,f|;}X^p_vr~?&$"jFd2x@!-XDDclFJ|~Fg{{*2|RL4_\dPlNl|yP2AOd̘r.ߠ߮^A9oGC;Jw0 Ɇ٥ywF7A)@m1Ga1Pek rRoy_d~)L;.:#W%p~py>C6̚[Vw,pӀ[oXIߞszzHn9I^/!O3Sq?u'r 1 A-/߇d(IO" :U5{w} un70ܮ"|Ѫf^9>f](J'Ir-^9hT-p6@<:~ɭ}.4W.O[ᬾmfIn83D Q.W֪, Ѥ'MKmMY/ŝX?KƒjZI]{M.uvLR@ @n|쟬*X\G sxqe{7Xc6gr"|G[Px9vn(<5@/H 9Wi2 U0HNUBd܁m!d/Ha)FH bzo‰&g4E濃#y!.EUU")g7C5RQ;goV#7iɨ@kѬ|/bڤ.J}:EpN w686.PwiUv̲(anS?׶1ǎx(~v:#{ :aGAv:qv:WnYoÓcfXxگ#e1q$.C0E~oK:u똖*;6JI{RP #Ke(LHBujB{Кя髭Ep,M\KP`}PoeIy*6Xne¹R]藺 |e!ViQXyU ,|$ Je?gYZd70d16f3d0628dbb4372f2c9ef3bbcd2c19b0f7c2722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea   AVL-Trees