SQLite format 3@ . YYQ77Atableisabelle_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, "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 SS"), %S Multirelations:threads=2elapsed=91.682cpu=102.856gc=4.144factor=1.127zXZִF! 5]ŗXf1-/6vR[lRc2qJ)=?$~)LX9u`m*]![ u04WVèV}Rm򰠴lV[sfYA4 nֺ3x-kb& Ah(&]@@Um\x%g Ffऒw*S!;84D9v]u΍ rʦqsD%[qsdRs0[ =b qw_dItԚFdӝCܜpH$>y>iy2~vsEʼn*TY]RM{MaʶOg=̇E)5(3<ݵjM-~IV_i047Cm\K0:Q.OА4xz>38+z|;<5Ls -8IvM_TyQceHJ&4+U#zȻA7_&5t`fVBUs-]kg0hBiBT5c4Q"}r}Z H{iX]H/\3` ܯV|o6t BƸƦ'Ϧ1GWgO62+Aŀ ,tJMsC9́ݫU}oCݜ=~ףCN?C;FǣOn$ ^Ȟy[iP; v*?ˎxdOJ6  k DZgYZ7zXZִF! ]ŗXi%6yK)MAhނ9 RKkH}ǣrt/De_mx?P]Dp:Mb &4[;zlށ> /nE|@2uB+10DYAH$$¶4"+FɅvAw)->N V.;T֫@ ! Pj$}ba1nԔ@*.R4M-{8 XrYbzmS$Jg7n-~DsЫPXW0hHixPG"$ٌ$OkBTH(á;:Ӽ ]Yӽ * o(e{2eRp&[3FZj0)m0ӆxn ׼HAhׅݒ/ ȻD~t>rM=?2`~X/ ?>@53_B2 .K\>͍ HEZ-L? rIM1j@$T2Qt[fz #=|r<}EW1D5J&*1xmf`t8@!s)t 'ؑ&SwًkZ 4d@rUWkקڔ4|p9oF5.s1;l+î o H:HF7 $+3ey,< ueɎ =$rK7婜μcfL(Pj ~UBw֖~@U,듚Y(qi$%4M}-]aWHX(Kxѭ ) Multirelations(sQ3 BL޳՘HJ{WR%r q,{v͔&m]:tغP,.ݠ5V B| R.MN~,p)Ԇ :nS}2?ע RP^oHҙϺ8z C`G1j<.r.3XG(Ґv~i$ʗKuV)cDd'F:P;˶lybS&j MxR3`EWkG4*0Xc];Ο$=bV y?`L!zwJٌF73X3"Ȉ+c?i%P%05~ӂlS/ܷuu5\'Țɀ$)NII Ғ/aX: 8\fv<(6^p,ShbʑևgM iCLoVrM[v p1}ȉ{83Hj) >K"-Fp^J04{gU5b9ԶC=}PwU)W"\+=L*SuT{"ܔҥF~s\?}׉+^*49O >My'[^sD敗vܺs.C@_l).&@C #J5TZgwb[7jIcRJ szݘN$ tF.8^Po>Ov3fȲL#Mh&*VL' A&"[iղ_2BmL9>uPf0e)Wn H\u EK #^`P zE =\vm~/ vs+ⲥAZ+W^A ^8ӳ9 ݏ SEp]8V`i Z Sh|}CKXr4MAf i,`ejOȻ~9\}: N#w59h_@^g* \adMziRoҰ5$SpEf#Ñ0Y8J; v/jPDw Ff.xpD>C]>7#b1Du®n{^L1N yιddcy9Ո buU!KHhRHv6YL*n)uϧ_ L)-L gd6pqGj^U_L%!#aܚFnjNm0يl^.lzw̲NF3,2ͳy,$?ռ{OqWCR7Єh q>o:&~בW:_wuW+++Avgg\^Eg@w[G&QiZV sg}LW\aNہԱ\z>13\| yFUg' O8a[CP5sӯ:kH0{@yp3O'ۗaW6?B[[c nE$"c=.4I{zD2#0ƹi"?SY`-1j̤KiVyzdbwCN @BKKnvG&C2kyhgۇ =;<r[m7 OEuJ=U5 3H\L!5 ~+MKnysH㛜XP 9_/ Ea2_N;6^e@((Y ڿ핒pQsۑ/s6 `<\Uf*cЈsXY`ۼG6]7U&~TDS»V>yMʰR# /^{xΟ!Fc08һ\$)r#94-ϾUf /UAqYȢgϹ"{׬,63QQ=TP26; M߾(}xŵ[,YHރaR{2Fn7p34Z7D\anƧZiaqAǂ\qGJ. RTWCaC j."sC" n^3SdS9~s 06DB,Tey-5o&J&Ws~xE,~&7?2HpۮZ*D)]Hs 8hX#|ޡSVC @IQcc?Uɟm=<죘ϭ{$4Jd=<˩mNJyq׼S!'!x&b08RBAhhx'&Wr[sLKltzf9jm QƆ ?7]ܪ|çeuXYKLꩥM) 7HQk7e=_޵АymNFn{=ڹP"lO)%=IІ: rt.(M wu;-"غrc;ۖt$,C܏׎$MX/)#˴QQ#Kkhr!##[4耜ld _B!d=7Ƽr PfNw|=ae H/t%Mtw:[څ v^he{&f3 i#čC!wݳ%@2)v.WqDM|i|rمS-`Xwz\nVEj-{jy硆 邒Fi.7gP`+laXRAKp[ oimԓ;L.s x9\00?Mkl RHzK튬+uG&R һyfr?S^"EpxM9{&{b#+A%gYZ12ec593e71ff261efb2d1b95ad609583feef4445 5e20e4fc330cb85a57f929f7cb117d5a4839eed5 6b7479b32e9f357befaf116a8b1de2b5f8676c1f d2ef0567b21d3450b941643a1f5a38de6abd51aa e3d2174eb362b4e6148e4579ffdad6911d33f397f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 bded2976de2cf267c891e8c27b9bd77c6482ece4 bdebb2e8bfe33fb50db6fc7757d4702681b25850