SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info HH) <| w/ Trie:threads=2elapsed=24.364cpu=30.080gc=1.460factor=1.237zXZִF! )]ŗXf1-q恈͐7ӺV WQ=)"jݻYS]1=E1?kzS$G,E_S_Uz l8T8 3q 9Z,fzMxS`9ͽ&YSH甭-&YQexwSV 'Ᏺ]'KX)UUVS4P-EV1$ͻ<8nъI@ )Wy  *jsqh &**S;4 }Unɠe_SʼnX r*mТ֋Drp! zt̘U'8tfEB7:;Cq7K# ގ ŕR#|&Lń~ :4}5Щ,k\w sѢ O 2RznTՎcxf_ :.5:Jq!X(q~B92}bsFz0xT5z, Kj>jɋd/1ow}"]"a@pC/k9rJc\ s8J3UE6[ƸJ\x׎/{{ڏY^5` :EUp8 Kై9զ1FEmJ9U,8Iq?$'LR2`71o)i]Xcn,h]aQGC샼 eިQkU. as|Hr]Td&q~U^/)X49YQj&hI  Trie! !'5E? Cf9ta7MIp/OnNHJP %m[is%Ffŝeж0)=AF_rd ,as'%/#%S]EXœ^\XX%u[TB7 X)`sȄx742*[q<2աM|A3k9 YkצP+)i ,pσxwS㷑gYZ7zXZִF! z8v]ŗXi%DQT*Y]RA؈V"@57Y1Wj޾/wkKmY#!fcZd^ ]w=0bvŒ3T<€t8sbRvڻY\>"T# la5-ܖQ#s!exߵq\ਮϦDQ@s}&p4Y0$>Л,ز'9ciˆ4"UP-iL]X߻KO@YƼ43' ZXHJZd `)QPn?@JC3;PȞ T\A4seF:Jyϔ eu Cɱa1]rR"L[Y4Z /\@ǾAd?[JEm8K:TGi@GA~m$s8%*vq&cW}5>dvִ^QDs/1J54S@u1K B7iLQvdz]8~67Vئa ;y}y:SsY /gE~Ӽ߯HReX7_E(:Ytf')RuiRz|=[?ױP1o 12˵G-|YxE)Qg Fo߷K4K V_'jotk=VYkBx&{(Zl+O)}kS i/Ŭܦܒvh@i[hm0C0,-J ,}*FHwmRƃC>xvM{9(=wL:q 'ƨxEk@x,8: RKo8]lR Ҕ_<217^܅v~EEp``DIeG~aS#I٪jâe.k^)-NxvSY/w"Y0n@ “÷xw(y.C:ٖ?qĜ:l_ eej`fXqH$*Q;?o7!A˘]Jy1Ё M"4;q[k0u jx|e6:yO$2qJ 8%C<|Ňb_Uoq5F[d&Ay6-M^F۝Oq.f/1tW' 7/2OTZĂ WUu C=pݸAT}G^)U }4B7½=I\s`ZvU*M %k ٹ/gYZ2a1cacfbfc3873f8c72195bc9d967d52c2901f54 3b5243a5a993cf02a40cdb507d37f2f7f70303e1 ad3e0430353cf9dd719486ae796d190d5e13f04d bb248e78745608e8bfa64c29f326852971dc57cf c51a71bda2ec6bd8cf00cfbc7f2d307c484e6114 e6aa67045fb0ae0372e3ac731b90b4144bb0b9a07df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56