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 >7d, O HOL-Datatype_Examples:threads=6elapsed=84.046cpu=305.124gc=27.660factor=3.637zXZִF! T k]ŗXf1-q恈&!&ʁG_f @lEZGwa krju\ KQw:cV49]?/oWv,\4Zv޿Nں~tDYɨ>Av[7PJ4$D1u6m|lm0Vx Bd-铿܅jsϫ *ۤx1yayC$}&5G;d=-f!UY[dwLBJ WVW S#Q-" Вtz١v58ljЮ0 7 HOL-Datatype_Examplesheÿ^ۄ*!8Wrӆk+q/ d[[e]E2sʼFb恼ĘCd]F:Тe&7?~s?%ͫ5عc@<\Ps)Q}'c0(E귢}^ p={0 9\ HҫgK3Ыw^SIZKGu-{nR^8lɊ*_m0$ha+xJgd4mԆiC]MV,I* /%e5[p|n>G_ݝ-&RJwI݁,O0(O$`c [҄y~g!Fv\cfߓuzŰyou>vCKgvh0(0}aBynm ];?wl ( hxpw:3]mW O #es46ԅg*ҹ"w 6?ф,.韦lbZuZj@ S;u;HxtJ&P|trrPr*O/0^|:é቎~dAyngƩ=HP 0Q:o{fdc{]C@C>VMqn7(\QR +焿10 [XiNmSsxMKC(vƣ foi h;y#yt55 mobFnsGj$?S}[#/ݯ""!A^x`5%OFd5pd%O%h':7]nC* :x''&VѳQ޵2NϓnIͅ1 |GgUwi;MV$'b;D|>8sfS"[P[ *{帯ͪ~o ݥY%5$G?U&9Y͘%'Lb$ygYZ7zXZִF! {4]ŗXi%6s,R'1˕( '1i[\r3m+,H(mE@@rNLD`'y2fȄBEJAa 'F+[hvt,N#)ԩs3(1I(kP% p׶#>eXC}":Ew+=`'}9tt##(~*^챦DE1{RLa8[Et}[ |osƑ: dC͸$%Sw ڋu$2 ~]frdBSYb[`aIȳ khϴnsJܩRVRD7H֦bجG-V x1gCMl`6NⅣwHg:"ksV͵Й},iŇU'/iiO`B>xhC'̏@k~8% DU?bg%v"?pbDįCDݶ-+>_#k:(ٲVxr D1}u.oe%?Hټg6ُ gqЄus NL590ж/hcDB Tʐ3c_F~akY=XB&}'JV42SZ/m8pm] |DbߺW+5V¿$\C/W'\ԈŖx Y`x6)R{v8a[}aW 鬯`!!9$ q3R\zܔ]W.3U+!G#$k}8*U%2&7åֹF)5JQɃzѧE luO'"$Xb`&KrbX 8X1Y&Lgy2ޗjR .ABs`BL49uHgo5֜C }UQ b-ҸʨTcŢpdm_Wmww55seլ0[bAT#R֪;%1^{_BXȿ8-g(JA˺)u}p.$๖5q`f8ϪH_voå>LAQI<$cؔ vQ#`.>m1FKO2߈YS.µz̐.][AWU. {JW[ oзzb`xx閑|ם,,-h+CIf햹u*z)-,!- g~ӻ1Z霦/ݽ1[˳;sI8" āZ=@= j"^:*@ ݭP'D* [@vHB\ԃio04flΒW}!.je3,8n2`Uk7|Iz~ G9=Ԋ5L\z1er0\YhU+Y{XPWᅓo3y >HžfS4Ii0"C+?Aݣ'c57rƖJKy?q)]!J"3%OMhE[!#ޭ;*5NP֜m\$}3":ӁQ,ÑǿS>U݆`Kd6ca 7_,ȍ#MDjnWFΚ;qwu& ;L>Zw); \w}pZf;goejLv(Cato@N yXT~c Yy;vs>.2mp_W ThG &xQc~O٤*3;f. DZwشD"cc'.\]ƾ!]0L!2-Qnn27(߶[|oRh{|KfD :qMc.sfYAK4&n06܋8m֔Mgc~Kt\-9ZvvLԃX y@6) y.Pv9Ӿ/SfXGvqcD?ȟSc/؍G K۶.H5 D;۸a]-gOm쳔] !!VApEa&sN0SʤkK|{8L%/L`|\R1Mtr}/YfN*$|xR'r=Ʊ`!)nXN8]]U9AukMЄ"q[Vl]6ҐlyGB=ZEVkdm5)p__Wd* &iF|8(ƙ~ph]V/8#߱*֎I}GM[۞ݮv FRj{`̎ ZTOrx|G#{%mKG?1*(HDd)Ƃ{#w4rHA $=P̭H.#jXq!ДIA(;uA*EtQx`:*NzWuoDf#Dk04>>)`ݬ2z^&By#a0 _Kg3i0;Oe0浴 ~Pq$IpDYU{8<\Y76hmchӔ hgzj,+F1+Z 4o8T~ Ŗ¶, lٵ}`3Pz}#M4E|>!eq"HºP{ s3?CmJ*/FTtGܭqƶ=J!a^|xD#DuwaA2$. >߹0I5yՌ#G'M8x&E;_L PЊeeTo>]S(3L1z/[$V%Z'E2IA_A๐cS݇+87KhA$pA?K˛CV>%v*0eOpohRv0oaY:)}1E/W2l ZL,$Y?Gi^dcU<@<PpO[QMIN5t< IR"U%Owɏd\3}6{ }WMsoGB#. UQ~;ŏ5{o 1 |JȥH"69|WʞtY._SMP zb.Xe_2xI|&u`×:/˥@RC^2