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 <<9-\ T ]S Density_Compiler:threads=2elapsed=94.368cpu=184.752gc=5.036factor=1.967zXZִF! a]ŗXf1-/6vRZ _j 🁳68d0 Xϫ wߏ93pbϢnV7>o5=Ж"`zHz}R0Քw|>F[G\Y۾./cwżZހ9ݍX| MB1v ʎm&9&_7Qb_MeJqȘ7V2v+oL-`jЉ"i4'Nu0:`ۧfLpr6Ըy M= H2,# ԆQ y f:[ݠxcdLX'S9_4L-KŸ۽`. RSp*[@kt<l@҂#6.nMEp3YJ۹vB Ґ6dCƙdRzP]+֮923R|΀w,`>ذfQ5o AVbAIXO}VTϰxYq LS}*4 ÑLr Tj-pKeH5JO@LPxT7,#iZ+-#UE$%ǽC]Xn8j|kwd`'í_37Yb:tXLPPgjV9 SL+AnӼCɽZSQ1e|5h^b7ogiz 8ĆUg#4(`L˴ie$T}_6G\Oy4$Gñ^{2E@?kEys`IMCȣF;aji [a$hkG{Z, ¿ 8Cʻ]~ }^񓕍 %) `}PfWVgkK2z .j:8'%ŗq׬Wށs2m|~bQtSz59dܰ|Rk,U֥DzӸxË [Bߨ& 3)Ea_ՉeڛT'QCrw#/M6F"Kp,7甀e;L!Կ $B$ jR}إ8kZ4j6__oIE%@D5sD(ֲ2+ fZ̆?.IGgn. ^>Ĕ$W9.-1:Kz}GEM8jεIPim._mt~*eLL0lKKKp됤sQP~ZO럨JuE_o=RU>iZm0X>0`s1%e>.…$)d1iK!DwPgAPuDi9\蜯C<~!<ޚ.fd#1ɍ8{#x\iy"lrQiqmRD7併3kLcИsܑJa%Q[#Xoþ[UC)cZR܀pfKLde@v& ¡ ߥԒc"h, be59Vr::<З8a'e҃0 6:_:Jho™$mb.e< * 6^ijS\fJ㸔~ʺ܎&!D-<<. qAhqw 1ؤEx [^e|G!y^:<o)n듐k&tmz9gYZ7zXZִF! ]ŗXiɟwv "Tm#㪿gmﺯ?4`WlNrGBi nQ+J83{Pg5RhqqbkyRQ l 5߄IfKGxˡ.ŃRkTE6m f@`Ul@<:Yʕ侳S 2nqUZ(^|u.<Cz5bXzKs1E,iւ*e槱gYZ7zXZִF! )]ŗXi%921E{1Cg?#ٔBMZ;l2U\׋t q~+c|דc6ZxKkօ,gFMcj9JZJmEvԈ0AfPRVC>EI!ml[{]ɷ,5 V[RRj<5:?́L ;-Q}f" +sDq'44$BMwMbHصݻ]h(Z1n*KaU|W/N!X5s-nvҨڝ5(>9msl kF M[}+ӭG5N WA% ?#/@g<oAm3sR4a 8|44WPe/V&؏ehS1|W..8;yE#OmtW0bAMOh,\GPq沟a"0i 6gWʳ1 i7ewa $ˡgцӻܛƨx~+"sªu\jx^R >W9Oh.pW[ưC¡vr;?\ߵS<ᆲETr+=ףҹ #1 u2p~yO[nmҋ[x~1Q+T1 AC{jQT|$.J P"S2!D zL I|ڂ1SWl5/l+`L3xhqFw[⟴eL[Ix~1Fq[P<;'jiH v\qF_dL's!%wᓊK{Ґ+ɋ~ n%S9=iDxP}>kڲ&/.(GdÃɀ"3dcmBW$^?oL* R=kO+}pmG,6K {KGL:=ߎ[8'?@=w,{SPs4iÄ.Ѵ}҇'{5Jȭ(1X$7wsiWbgcIi [څ=JNK%:$b; >2>e]6k䥬;I6eݤc6q0oxq\I7sݑ*[W9%qUHuj)Uo8Xbm yK|86*;0aR~vgBjmvʼn"ǐ`)cCpo6d!ƯK ҅TozyJNӨy|״L* bOoP'{4dl$rE޼~Ă`hO;*.c RR5~Y²(+KMt|Qpp p % m`Z\)ZS=m|&y裈3gugY0O*O5 J=3\ mwm,|_\/L|}l= 5r|#*7pC[n5YwOhl}}<٫qq:x&}$ ,P¹%=RgֽΰJL1 \P4WT^kKrBCS>rØR.y6U6Vވ"QF k5T,u`S!ߝl%9i߾O5I6ԫl7_tbu@G?KA"pva=u<+&r䨭PW1% q_;#%v# CvvCȋe Yj-:s[]gT͕S_wa;=jx&qzf.w\؀{&q@LZJLaHv!;TLaHX!O`ܙ~ckj[JۏI'i%?lHNWz~-inoG)3QH6( rO-f~G3K~05 38<  %&";v#t5nճ(2.i~wǿE Ѿ8'V8/G۝!*EQSbq}uȺjʳźf:ag]r,(<1+$xD\P !ʷ4Ōw-ޅ*R r(UDKb EOBFI3X|gQ,}-ܙkکJX ~.