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 M'  O/ HOL-Cardinals:threads=6elapsed=6.694cpu=35.424gc=1.180factor=5.297zXZִF! 4<]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:) {pdȃ9|EG:K>BқQK$_(~>KR,Bb4Ue:x^v|<;o0J-@+jLLSÎ~7 9v|` ֭gA!3S9a^d{f8wD` mCe̥ښͳeЈU<V!?#M0T\Y{K(w{fX~=IY8Vm$3inI+,ZԘ\J6Ral5Tl`A8|U*MD0o#=[K 'wa]]zs!E1PY2Wb/F~žl}.WK*\"?--ھM ,a߻米i?yUPWxOˠYO*'=ѡ(-h܈Nz2'gǘmUvVm9"Q!;d* b} 27$B8TԻC' *ΖiIxR1kw~;u͊~`vE;`η&f]ڭ1&Es}}$}MGъ'ݭZU"nYzƟ[Ԓ8ΪWYXm\.Ȗ zL|oKPC[ʂWE'SFuCFaԽv~#2@WvjIrY-}ύ K1v{Fl_] P*aww Ĺ_a7%f/ rv;(C..C QPsTv2PL_/r',4]d"Bj_ a Gh8/O.}@'~"V¦u\űnQ}Q8&Pa1zzr;̠AlCa-g.+p&->(E0T8 TDr@BdվֆXr[7m^)f_^ܤbo?(ZT9G)-=x_ }֪ۤnܺ[o mPA4mh)c ^IC mg*1Lo7.^&5wLXK7BoV)'d*&!F/0X{%Ub9rs X޹b ١zkӓ/*KOo H'”&רNjYZŨ a#&A(SY }j1kHGEnTKm&.t!~;Y=)wWCc$lҒA'C|>"7iMXTo3lyV 5I:I 6#]\wEmwoI.X{'~>G @ Bn~“+,3wp`Z7 `rC(2{#g>uht Z|v͡X5"7F :w m&ϙmR45$Nc˯ Tܪn-)4jD<_*WT -EN04bWfteQͷdNhu5Tݲv"PN"3`5bj/ T j?b|\x|4Aچ7(^*qDZ\j_Lݫd-eM]3'\1φl`c [zw՞@wFD*OIE87+F;^ kʿ 3mNF`oZ"b^)èKϚ. eatjeVB#0mW^;RFtghr-kC"M1Yb8jq/R{Fg6T06H0.!gOKȂ#!z`1hd76z y@.;)Ӂx_S U`?9@o1-G +WVϨtr,|֯TD9Va` dL}Y3˻1UBm[lqK㛨E4xō|6b͊@PvSO6m</jTx O҄}x ,jCxTqACcry5PP !xh` ]w3A]?V<RM4+jRV|_刮W7 ~Mh]H!>/U@.7E<§jv)`";BڌGXV؁TLZ#Ym6A^6ϜV!|z$!~· ʭL`iQ47(ަsj_CP"f$[s:OlqŹF* 锰'Z|o .֨Εu dQ6_ڊ67ѝ9O[Ȉ-\%#  16Gn04)[CHK`Ǔ1/^"<86ʌi*%=;>AD91ϟ-jRRblWTv\ov]14HHCég{t tOTcLCA]X"P\Ϥ0-\YI37pN ZY{eQIJ ,kD (5Ne~v-𬤋~H[2Ik_8jPT#QnN`x&4#r!"?v\˼>>Ph>Յvk#I78 KA! ϔy8 k(yT&eŲG F,=@(R[H#2.~>x/ @ihXԥhj`ģ YFW_E 6 C].@cfDwi&YOTmlnj&Wn4G~DZr߹ݎGܖ7lbVb}Ww-h_n5\}X{Vs`K)!W{?6fBZ3yO-cnN((P'?/0QnqLzTrǬAr eդ_ lX՜9} ma`}vl={`ġa.T(XKȹؔf}B@q$YZĘOGqѿ_SY#O<@_nнt p]NV;KS,vip^ጣf LEsB[8X$J@+CuWzn]yzCdBDcTm/ 5}GB].Cv"s Ӗ"NK'v hNQYN"چ pmˎgjl\=4; eE}%2:DF2' H.\CS1dgq1׌Qw׷;*σw -7st'W-lzm UWKcbRмNP، zt~ ^dc3inm\5%'$H*ܕSjM<\}sv"&k=7;F4 xJI\r n$dRMuQ+IU2T o_I$ɓtO5f|= bg2B獈%!j:Nxab|tj=$1Z?bR; q @Q1"g˜KYlM_ζp۟w(l\AΐU# LU}lk81rP"m:,` rg!>R= !q4Qj8[*cS}{ٟ6xٕ?O>5.'&q!wfN