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 # |L 5 HOLCF-FOCUS:threads=2elapsed=17.826cpu=33.020gc=1.000factor=1.857zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S\+1845Ό6z.ylm]+ML͝ȏ}zHg1 cИ'%o3 0{%lBz®yϴ !oc>g/AnLˌl>b䰫>D*V6 ~Tu0YϋqgN7tF55NSy@ B49u3GtD-$U»W֤X/jTa[&Q x|(TGO6C1X3'NɍwȔEl {cR@o o1DQƩyYu~Jƪ`?1Y8l&WS]YF&ӵ bUFSu]e}*a4[,`f^i|`HSwS@XJq/0Kx}HV @Bi0q/Yݪ(pxcr13ƛs,qoJ-1ϯӚos$Eݐv*B _iF`w߷.3k,)!@S{$2F2~ 97N%|ėK d&Lt$pj#["@`_O@$Y&{sά!U?L,tN =حtoSVd(E.Vb06?99t0PjdQڤޛC^y,t5 f8l;}EhVSƗlySɧ_!<:2?Y78i<'E՜V1bJ^LAwD;䵼٢riMjIxHj!Jtdda Z4gLv ;VK7L sI?*@/cA+!LfF- Yޙ0/D\0"{ss sfG3~=Q}QἿ1Ho=Gu ؼ<]v,No5eEuMb'‰K\f>M+lb,Z66w8~'i-!`e݈Cv՚z!} ?j’(-ܼ5ڐQkr"8=}MV8>^ f5,ώgpj0 6콄hn2@r5RCcQzP>&STvYL!'RI. ''L=UbYL1-cͩtญQtC?8D/ۢtjVey\mbnhP[F4(oJt}E`$GEv")O]7:+JmoV>@O6+ ^8|i>xp ,ˏa"y&5`_0$$ ͵ ~y|Ygibs+꾙/N7骚 B— >NQ  aC۴)-P7hTף0d,(Vp?x(ClL@iR+i5{R癪ɰNuq]E#bħ$׽~`"sJC*fA'7]6FXL$\Ԫ>*~;r D/mz|nz4eG)j(`#2ٟWBg'e3_ :@=ӛ?_Q'eem[Yk$Ԡ 8cqXADnq0|.-/+;h㰜zg;@u=1OGm'BfqyP @XsË@ p=xͶ0%>="KP;\҄(,\JIZ0&ԉCY "u;~Բ"[p_N\sNq|Э zJ WIA*%ɮ(mQkQJ,?1!@2Ø:ħ庈ɵ]z^}6.+":Ç39PBf@8Wsz&WWT`]FI5gYZ7zXZִF! RI]ŗXi%B81o p8ř겿ܦ xljJeo j>\NSB)ޑw>vK<۸7[:MsgAJcMg7I'J=P_t+-\ 5p8d[B yPÊ\JSF᨞2?%!J3s1$-{OK/a[(Wt96]$&l9^ UDr t9]8IڀJyg~./y\?FGO{qPɷI K() rKAyBsF2C @@/ pDpN0FQSGvk l` jE Vv gld8F:ulg'C/IΧH,CS $˺NGL,XkJ5.A㕐K-kC# Vvabr<̕9qKAЩ]vu B)UZ 'nB`M%9g@4ʔY:8L7JD2]i^K=Ml(z@ -f \<,YyNT0ijvj~(}&~awPٔ90Ժ=p_ KX1Q0S'B]'KsP̛.Hڦ(hY:g=$q,Y0?x 11'{{p%sz"V;\V0ʾ.3yljz]F=c|uvIu1캆&sn|I.?`OצiPJB,P9 児kIt(2~awbs-_rr>%lJ4V n"=Ù}ʄ>5@W:w>ZU:P|qUO\ذv.Җ^e5fؒd2aJ5#?|w3v.Q#eðtJWa,_J$+٦xU%M 1D  ʤ镊ogYZ130ec8da7d99073fdd9e24c83492ad2b761af750 7a24ac0b5dfecfd710cf976d042720a27eb8c80f 852c4b663a8d439dbafab771fff6222b134f0cbe 861b5b0630fc19dfc3f05345c4c7df6022f02538 9819d8a0fa88bf71b1e89868ebfc3ba18c163ae2 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 cf1fdb239aca179843816c6e95592083f021315c e16dd81c25115952353dc50e98ef8842c8109688 e3b6f35a7b23702f0940d11cb27f1a0c2dc25d95 ea07fbeffcb1368ab04358e4a6792a15022e958f f3317a6f9672d05c24aea4f8d56941943f9614ce f66bb04f776a67c77884faa1a67dce2fd949bb5c f7d7695b21718df39e8a80a5c0e149dd8fdcff3e0dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903 44190651e766f74bb3f25a3b29bbc1b367a82386