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 44A1,< ]/ HOL-Hoare_Parallel:threads=6elapsed=59.312cpu=289.952gc=4.696factor=4.897zXZִF! ৤ z]ŗXf1-qSp~mŘ,z :3bB$֮GX[/ {H۬_Qݿp-5|=ՆKQ6 (q3H΄eN^ ?SdrZ?{ C!eT|ckEJʔTRr.^4慛k`Ƶ}0nK)ZN0P79݋@$@w;e?#M/7pN7omɝSJKhS>-*&ncO~r 5 oۣBbLh PVEM5̝ڝӀsP# ͌3li:e!T! }`Qa\E6@yQ]q0J&l#7 U]r4IJY&Fv G"LZƙ,"f?co2's +@Tɋ/Y/ʷ-%G7HQ} G5S^y! K<*m=!K.B´Jsؘ Qg49G'`j־9&m?4bhCh"p}שu Cڿ|h6_O@ŹA-T]HDSmL0s%y:WeJG5pnxƵr[x6/UF߯oO`[[|rjUL'1Bz90cCJg TTJQ^HE"'>7Pđs*hALD> IUV50,cآi}waɋLڷx|;wv}x:uAvrE 0Hg2F}oLVeNs{@&3jtV`hǺ! Ѥ; (u b$ DZ%@ޏZZb^/O2" j*`z;b{T؏?prE!eN= ΪG}_4sHq˻C*Ks[ZN&#S~=fFF-HzHFyVYtBTv i}^x=LH[ dFAww2`"H*G^6e벸`ʥE-t?נ@4Ga(C%"Nf a4G|e*XP_v?E͸&_ȧg`b5Ȓwt=>,Ŋdac`k|x6uy-aNn@K =́6Uɥ?h= ;&a̬c^^g(yc<%Es>#Ou<\NcJR{_3º"aru7@yZ^m<! >[vSԚrP{uTH0,% K?:un];Wh^}0k$cN`}*-s%}A&;!AQi[4 DNEry—,&TYv [cҷgm#Ċ V_edG(RA6QT ٍN-Y=ܶRgNgXS1p!]3dLu3ch*hU-w%#5 HkK<3GCxWMW"\ERJ?)t}L)Ahމ{Z߂+I AٴKlG-r D8JEt̨"qo@rB62qrm`$nS@y_xeN-Aoz{ .MStG񦒸l[1eX7BIEĞ/<(9an Fo&26QΪʢN8pN؄p\Yj[ZŒ$OSj +zԟz0=9^z$7ZC#-:Sj:9`UֱqjXXL $?c&Aݑv^@6%(Mjx@ 8i+̟w;#it"!}~r Ⱦ#~\.huCo-[:@X /:3\|+Sm=Xe9t3K Rg{i)TEkE8UCB?p#1(]dt'?bR7`{4@>^P;@Yڟ[sDݓ&@x\TnWy~gE~4͂`.o]Oކ Ejt٦,~BZx6t)Đ]K`RSĦ̤JgSs) gp귱gYZ7zXZִF! M]ŗXiɟ1S:JI 5i;\ŮIQrE%+r&Qn)%LWN2uTACyh 6T_u[˯j-|;`\Z{AmY⢽>_W4?{HI"Ԇ>5N'A0_PD8Blvߺc fKll=??D1 [u*߮Dz2 ӈ0ʓ+aUb|gKۘ8.mωh}); #Y7MP6[`Ht cN YbgYZ7zXZִF! W]ŗXi%험GS>OA[Dc ̫0=_ㅻjROcMz_M?1Q ^ / 1 HOL-Hoare_ParallelBX!UM֩WnVwnNmǓR1uOJ:ry S!LT\ߤѿ䜀{g^&,?d|v/o>;tE*k1Gm?/TrOTD"!읹;}jq5K!͔F1!gI˦ 8Oh gWhV?p^X'D.U ?LOywO"!w:.jG?gPj A=O5ޡ\rbzPW<4Qod1)d!}SjRgm4FVBP!pl_Et>էٖoe q V*_˩[LSBK)s-vTd741 @`~6Ғ2Aq >,*'KGw?$8}y! %3MfZL3>jYKM3N`w`/䜉wp3ob >w@\By`(cW7tu$/y%g?lU<@~MeUyr" 'gV#Yz6+m{cMH^0QZb %lK<s2MإQ6|mv+?.Orzu$'^BB>M!Om3i328q>f)hK{phnt$ l`D\P،"XVΫt ::tg݇{x'isHCd eNQUd?>҅]p ,KKojJ?0Ri|tl$U5uvȔYToZpW+(I OvSk4 ;=~#B2fy.с~ 3S)ҽQ̈>L43D, pc9~U˚t`}짾*,J37c\>d