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 _)t4d ]S Sort_Encodings:threads=2elapsed=64.036cpu=123.516gc=9.252factor=1.937zXZִF! K]ŗXf1-/6vR[]+rPH[yk)163{+x VYRc'q|CACE$R3 Z}21fehdLBZcfҖ UDNEujK9/$r6$1Y,/F"i{-@WS6r7O`C+;}^nI훳P#D/xiAѳO"3Ӣӗ;)kStU{k6/~Rtkg*?H([;IDVq+7g2L_$t2@ ɟ:NuZXyJp&Nӂn9hہ):evdIY1a( ͎O?bTBKˮ΀dË;Sd WX0va1}8!ozH.\I)qskwdv\Ir[LRwH4L+ߠzaxUn55vجj|kUaCW='ޣ6Qa[lXSS!O~u1%NO{aeڠ)ʁ,[em?bF'q&'mKI87ZOETh14Y1|>c Xҹ(|ss\i)n$]e\n,mmkI֡6D$DSÅɺ A?E#Κ6 sE4͒lU=a>uN*z~aV'[UI4dYߙ 9/T խ4W68-p+Ł\} XIn~3[Puz@+Z:8^Xl`#,GqOqh_^xV:kz)ia7iSɐLHHv˝K Wn ]fA=CCx5) Q)r"~;#q-昄oZ6.H^X]{2B,"_̗ޞ@X?o'B8ѝqlSs|nw4wjِ"'}Mw+|d`<5f!T6R[Bѽg̶ j6PEି V2 ܸî!m+N̖"x~17M) ɨ.`A>@κ!ٸ$ܯB&Ykx,MOM+U 0r{E`:ϑx | ͚^MھflaՄ0A74X)\Nxs}p B'3/MTbO:s}Ie%Mz=ۖxP#DxhSq&N.oԪ9lpxU ΁ o({^KOҾQy⨛.?ftA{fcޗa-FgYZ7zXZִF! Q]ŗXiɟzlk֢UzYFFLhAI.&z%'΄3xm钠L9 h[LyM 0YQ=2 ()w|4Y@$ɱm2Wg Yidj]圛]Q%Adx(uV ) Sort_Encodings6;*NWhaґD_٫/35< @eʀ(RFXbl}'zuYE@]\%,)&L /ۄ3E.Nm ELo7s"6gtu^uqZxcO8% vgYZ7zXZִF! 'T)]ŗXi%6St;z))UsѾF=& ".~9n91`OQ+ONp6j񭄫ݹWR2R#Nz. ׯ @X)NH("|ÀQ/-Bz*FH pMOQoOk)A1^h^;Mz`ݢVĥ1Fz8*nXBOEBĀQwq-zvFA5M;5)`s8ڛ.IQpvS9O˭dTFbPh\dJH7Z>~]H:PV硷fᖾ7MfKo,YO vLCoW _Ƨ{/BC˞U@XOք&z/Us~IdڇxCZ|sǯq5DJ/)gg N&cwnF{!Kt:C#ѕ.mT[E_r3U۞]Uj<ҜR ĉ?Gr)H7/~?=rfŝ{(go8lHZ_RYe<>6Z̵mq]@+S`EPXI فt4w k|_ґyLӳ}wYOnR +!8m!r\4V׾6ʜ owjZ\̉ \ c~֥e7Z+m?O@Edee*{rϰH98hrߙh4K!S{0_2A/H o(p D }G]O@ =t-{tJ$-*5,).ƶ4ى.5=^u̚o>zq65Ș1t_Dq@0,xq~}YL`7L9a2_^5.M60BWّI[\zI}$.G(^P(xgZAV_+SnIF[]SyUgp݌̅2뮉V ݁ ZTmc>>nCYw[X΢()r/O6IbM9/\PȺk5W;-͂@@ ׻ )nh3ޜWj9'Jpqb솷<qQp@_r:o[-Nitud-8y3kjy&GO󂓱ZhV|wi Ɉm7:#D e>% o{^;Xd;L.7|\ b̆cGVl;b8^}GmcH902ߦmX ^d~+DDEo31ElJYqz;9j㮚:3iN'*=ܺx&\Jv!C(_ $ ga3u' W[6ڑAׁVM@ԕ-cvRE>9ɁB48($YʸUY.;O)1 PYڲ$lU%Է rf 7ԃa p/3 1%}h͚МwG[ 3OMb?)6 raO? \AH)`0Ef082rl>N`_A–asY*T~$S+.s1 \Y1g8!]`P<ًSYl#/czb/tc2:k=Eݲ!р=X ̥=`[ J'Ŕox *9 Nc$mɦ!H}h$5=s乤L&v'JcƈW$e[.$7D)7&HSs!0Umr;(wfd*.ȡۃBzC(H &K/]w"q 54M.yڝZBI?%YQ=]g4ݮ`& ;\2zv9 iT!e!(hQݔS և!A2+1C.ɹg;;53QQA-ߌ[c>lթIᗼ 2"AbHS I.|Wb}9_ i:L'奃X/$%%?^P C xeN9Bgy'fў4diƴRNTH8pD; Ș 8M6JͷXT h"~!`0rp/kS2g[%K=qDV{S 1?[d7܊[0{/I  H/kqCLnԇ`#%EIuIwxD3j]P̈WFӤJ*,"@ ztp1qhE1"tb6}qu5b30 }Y0XVc$˜6:~"yzgVEGT?Smb g1:zjʃ['ZtfFx"L˚J%;慨]Iv{}Fxj"ˋ2*NկBNj3L/lZ [E!L>= &ώE_xXg ;V*YN %ɖKm9+93."X} U2AdHL]PAbzJZ;w*{QنR+Ē2\ˆ1s0Jm5 -*}yqk}UˡjRK%.~~Ë#;UI-!Ԙ?l.("c{_>z7Z7 N@2ћP vg~sD dՆɱgYZ47fc2a487180bf2d75189ec7bd831518b397768fe70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f c48cc7fb9c5e7bb9c62f27cb5534ae0041ed6933