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 M$TL ] HOL-Bali:threads=6elapsed=63.754cpu=212.176gc=10.304factor=3.337zXZִF! Fs]ŗXf1-q恈73w@9!Ӳ) F|b4@'n拏‘PC 47IA 9ǂBhlfw\]ѷt7o;N82x'팞xR{/T$4+~^UɧF6EQ .󵲅Y-CB!8=_dY>:#?`MZ:-׏;NfJMM[\0\(1| =%k9EU9D]mc ʽKDoJ>H ;}٫vmu*B~ IX,|PYqyGGx?8:h K/G,(fDDDx oa헞vWg8pK1ú:yywj%("&f@-h1)q&룥Vß}O,A+EvjD,85#:B X.k8gEaKX!T*s:ֳC rIg~C<BwgDOOuzdŵb.;:sKەD+q|I4uy(| h:x(4f)l%A{g82#ZVJ4(xP,R}DFwT^ys΍ ;H{L *+"AUΡqHk8Ah srY]:LE# $:&0c;P|vYoA8JzVqb(!׳KR8!ۥZAۧr(UdrH{EwG1U{gO Qh;bm8- =|(Y'~ i8tTֱK+19ObU-1.ڂzLgYZ7zXZִF! ]ŗXiɟ1Dw7v%[yڬ>QCtWfod*O:a&A!u"r|Pf%V Z$MZpLW`/JtD7>H!B g&c D_(բ65fQ=靿I 8+}sfA(z˼?0KsV$T$l5HC}T 74>la:^k6ge'4x9a/Bcp@VEoדF/X=|F\}+;mz#i1GlX $0R)S# ,;I.^Or{Zu|m{/ܪS>zò""Rah#{ q׶x6?Z*Qlt5egHA 5Ru!O TQ34@H[ ڔ|\<ەƏB*ʋ4z(nOU^NwSޝA+mU=)cre1wԬWͦbBi5ꣷ1<OٗBk Y ߦ"!y i9@z⁵Y?UczdֶҦu#{drw%Jz}ͯ:yBC@ZX''&Ĵ|@U ҌW]Ɨ bE%!=aL?Ԟ;a~PK#DƑ#hzhFC$p/A&Ys.e[_+:jv3 kRMg#2h<|ck1zKJQHfGamu݄2lEC"IVP t "D냵IF#qR{f&Ɏ3- [5Ț` LF:172  >yQF ,и8*&frG ΅f/V٬ϋZ$#7=Dk Tg'>_dJkPClٶ\I"Q 5u}f,Pj@cԤH!_'=k   HOL-Bali\Nf]v&kt(g]t3s'\BF([,t`ujӡLrdR"4"Q9<vt 6(^xS)z6g1+67i<-|q!3YO1 i2't4\ݣDסx5IE$FtO\v|OMHгRQj.u! o%=t[U{9҂⏉ܭw?ܲg;|fVR}>KX_dͨwQˁŸ' xg,S+"Yp=G~_UR\^u~-τTmOB"/dP5D;V2|,zƫ9E}pAcm%@P&FEH_ /{v ͔8,rچ;sd֋'i"#ϱPʽi5Z3 T}a`nWv$%B-k9We} D4`c1c{Eؚ 6 '-g)_\YB[eȒTY M=*iށ@2KioGҚUNuH:OO|!lXE9rB"ڗl;ɛNJ_ZE92LDnecGCWޯЬ=޹?w$)襇?N8+@l NOŝ?rlX' N^2jF震bd+L_Eɖ6˸3qlQJ%@8?CDŽWplo>hނXw 4̘ZLpP2 ou[.$ҔŅ B2)]Hy9ƽ9Gٽ,{H-&CZ֟."x*Zzf96eS6 llmeZ䬨cvLW$pgRj{y>a^,rjs&CINZ!VlG7ڠT!GE۴y/>{BHʴz2ջD]*8>:@֜E[#L-S1G'WҌ-4.t'L4vf;/Hc=gq,*kCҒdzy>\CävNqN75V&' L%l&ū݊( >{T_n>mGݬpXv|f971pEwZu-Gk{Asycs-1I@Xofʬ-_9rdVޓq)5ה6|Ġ¨(Rd,s|O.|ːlxѲ/nnl {VT:~b1 &6MG{^^e]OsV>!q2Yi˰f*!$& Pio up,f P_|A+b=YZ;e]\#)&WP`XV_ G$AC$7߇F8'g~BHy 376O3\VRrvfۂ!YV!/ FK.;"AyT.e##1 I$:(wD@f+&7EѮ*+ݔ/:D iδsy@ϊ VeG#i+􇅒oW(NI">2\G{'2uy.5,;,g3,i6ӸCvo;nj@?קB %|1+\>a aO+#R&<js#_"]ȂR\BsWI Jַol&HtO倆gT튉c<M%M\ό19܊!~iCM11ZiiI!d$PA~/wY$yݨՅ1KlSp%_J0.GSoC>n׬c-fZ>M6d 1Z"ͭVyM {Z^H5>s+|bxgS7Rx҄/~;ۤ/)$t\@t8,店4ƒY c^Apc02ERCFpza{@fZZcu}jPOB!<1(AsJ!k.8yY#X*&̚ .M)@)fSdS`A#{hAxqh,vf7ldM5٥#aZIx}3T P|pSg>LR'n(Ⱥ DŽC+W@lowe-y@T;r 2uD[ cP/՞" AK&T,HJҥ0kʦ5@ Ea ~>XSk.0/:F*2z֙)5Hq$5P4ߋRPrgMyؕ xn9;@>-V(5.CZjN'xU- 0e Ru* {р8jFPdIïJPN"W&=.;![ /.- UlAؕsjH[$/s1V`d{1݆44ƢL!kFEpTz"h6^ DɤYh ȚẐu_ ؕ$$ǽ 0B'o]R^Ф&9-&>+KP;tݗ$0=W #H05m . xfB>Ժ_{r)ri7ŇyXVim1y'|E#Ѥ*;ֽ`bK&}%yx> a[Ƚn5"_MRmh1Չ4e+.hG*Jg")7N=ŃDz~g+v2UOHZ+-6Dn%`f884|l?Dz2z/"-崺%l6>c- m