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 pp  ,l S/ AVL-Trees:threads=2elapsed=18.169cpu=35.684gc=0.848factor=1.967zXZִF! 2O]ŗXf1-/6vRZ\2_:oFEQUUo2ɸzZVTUW\?l,--1@ZJ';fIl(*HSIJ0vKK}ay?|Q*zbe}He;NJڗxgvə v2XgMSD(s*z2ܕu0r N6BLxtvG/'jA4A̯#m@7e9euF}y^AF+-U cTH UO%>!M0CJ_fv:/dm;ŧ1!2Pl:rϱrJrG(P6i-}r)*C{Tr %챎Ae ػY$O6~I0]PSjI)~"l#@yFRrzPōw1㺽):/B1*2`=a+_wI,xy5N fy #;&jiۘPi0f%MeQND^љNQ`_q=G%͵s ˰K lȐ"1eƶ>wf|oba<$+^dGRɷt7}ݕ_hE}[NZaKLƬ9QD)U:y"A#/XP@2_ Z*h3*k O҄+E q#{mn@%[gՌOyv £4^P,OGfpDL)GQ2c%nHcy%EUW0"y5[ ug1Sk/AWw! T{cz՗ SW^gT$~ҰAz8E۽LNv%=@u|-f69˭~yo@l@K¥Gz<,fp9 Ї0*{x?:U#I$`;-pХ8х;cԮZ /E zp}fe5[VxO7Q;$*y.OZ,`ΉR#'ؽGZ.08(Wvº4HǕx[A>Hv5S&%0*3rkDh>+ΧRd3ӥׅGв(OxOϮЁ̿:Oݷ1LV$f?`h3QAO?kNaG,5nc=6(ě@tR{ 3qj4E&zrxmGÖ7yO[ RcQyN=ledDԍ,Ұdnۑ{%jЙS\ζ0 e[6 d g%OXB  4s5yX&e4u$'hQWykB*hrMQ>?/ݚ7vZC qޅ|hu@1Ց:diLfLf 2t4F7VGF X]_i|QZIdJUoU T?TXfV׺P:?b˨֠~p\q? gYZ2c3b55ebaa85cb86021ad407f3cf8c6c74eb12ff aa80b06f4331f695b58af77ce63ad57a3d7bdca4 ae64a2f7f2b5f5602f211fda1a0b53d881e9582d bbde08b63895e3505fe3e258627fee67c001962ac7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8   AVL-Trees