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 o'D ]Subresultants:threads=2elapsed=85.775cpu=126.772gc=2.680factor=1.487zXZִF! ?]ŗXf1-/6vR[]ߘ%Aj.v=/dM3Y 5_QM|M(kg78/[Ki R:ߣFӎVƯs>p:oЪd؋%#Dnh:`}FiVҰx6%!4.U+B;Ϝ@DvKȐ񻁺]Zi*ޟ;#'-dʛL͍3K{WƁEWf*iY/ ( ~ӓޘsC^on6C|q|a8e1+} [Ԍ_yYgEPE{>cQZR,[\ B rk&˿SV>?.ʚ%j{)?äwȇV%\{@'Hҿd8w=y˶ nxQF#2]_ۧk-1sHAR{lT&|4%C:|'A"/SJ)7&IZӡ/\AH$TbZM93j>-46 pӝ{/3nKI|SߪGxdOnoӼ2tz*,Qh+)š3+gTdabئT jBf=`Xsw ߓuba!%4(T K,t['L{T|P#D4\c h /Olx[XWKd:3Es4ӣ:[Ɛi$x^ۯ81^Ed$XDQbw* aܨ9קɯ*nx*4R~8(O̘VM|O&bF g`K?',~Ss0LQ V8)KHay :i8iM5q&j;߸Sq9p Ĩ`Y8}]{;?GƯ@`,d<339 kj]u>W2 H07C)dJb T+=/^.G"򩿃Ro n8A:5!A>׾R+5piV5pwr9".ccf_YqԌJKyaآe%pl{5!Z$𧮹Yt7A8WX>t7H\[nMD=t=E4OU4UIe|U}!eˌΐSJt S%~P&+RGFo~Xwl3QU0*")(xr1Η7IFOz *t}C|Fn7K̉,Ju$U]BRl3:KdǑU a gYZ7zXZִF! ]ŗXi%6zFJoUBxH]Dk.wXBq\`NpOwc|0oI,-a)IdUOj G$?GJ-̒VĹ3EBKo>= 9pJͫ 2`ݱF]r 弑}vjU ?D+-VVi&i{]eL6" 2b\V LR_#2H5 ,QKL AW::gK rNn^ TJ.bh?eEʏ"?]xG?y է=GOA/F/)6#Dg 7EBm,b\z}BcUͣB\,'*<>,p9!`kWu0*͇[TEx$|DnIL~8W5b3 X[B-|ݼTHfM/M'bFnx7|BW/"-%m6yE4{mNzu,S =cz)kh7-ej<@X6>Sa]ϝ&%8ơ62)UnbLaMr-DNIق4V~ |JeBၾpv9q13XQ!)fN 9BnU`ƒ])J/ʖJ[Z?%N;0@◥2]C5'%,b :)~ cAIo`QOK. -_NJ?o( ү?жzܢN'#Nr^ԑ$?a ؃%AR=fbJhk.G.AB^:瓞tܭg@1NJbq+4xthB'<rA8)1NB>kUd`QEiR#N1W` ?ZL~ bӴeَHf$ܿk5*$#~P !y䡝R}A uu-KsN*!8@(#hO}>$\ڂ'pi/zKj2[X'a${X0t95qx̶}Hj7+fʥ$iQ2ǟ-KCtX jinR .SߟI*1U%@d_B:&t$.g Z!clrM Yߩ<=Ay˵fhS$T\͞O<qv vKъX}`Sʅ q Y BzW|YD6X(/{P072{0W: s5Ʋx"uY8:3dEh*xi c;ĸrwft%Ij WD#%@B[Y媌]Z=&Q^SW["4޸7NjIɏ2 8f9'\ .Eu-4'X'3"ZݻVVk^ :~GrAU/|E45%`tޥxDaP6Hژ`qa ivz\"JyS=%A\^t?u2!*Wbi:G*v͹Ҹi瀈욭̘J2kvEV7Sԋ/-ñllfu,Kbe`ku4/G_͝WJNOVw!V.Y0TWϷ0WqZ<eռ] .ekS3S}X7scd#4 f )|Z89qگ(d]dCe+{{ 9$|Id1]ՇM4ș1{/E>o v`P|, }}"4ԐD%)vq[+Rf,&+엲WP5iJRYrb|XI:1{;`)M5Swt1T߄Iw2ar-DյY/;Vؒ*(t}؎S,5:HYvxރF -d_.zH9ж)xMr|vJ3m4;!F :T KćPٕԜ[k֬ JnL;AC? e<1 )@ze3pЫ0M~BREE+aWڨ#f#cccDxBo2Sr$dM֩EioB:ZHGB>7jse8v;L߹ SbʔD;64 akډu \ܑTB\ WkϞgձ`%C'p&غ. r/ @y|ezW ivoVi#R#}d-Z*a&dpx1EF1!N@h{Ax˃B0tmw,% liW0\ %>ǓT,E?,011dxH%NCf\h:!nXuf!Uma}JWЭ_NulؓE`РNW{!5=uoe*6j=0F~k{ Xs0 κ ,2},`毉-<Ħrd&P't8_K=S"^=]gYZ380fc9dd22eb4bb29f0cee6ac3c6efe90f64cfed 3818bbca84906e2c3eaf744fa00a3037d936d30f 3cbe20cd37dd2ccbcffb07be4f6e55884cac89ca 63700ff9afcf9144a64ab63006adc45ee65dc47c 73f0c6e7ef3334f524fc9920fcb38d670f285921 85c600028df10f351f833ebc0b16d0708552662d bd78f0b3c38150b926db087743c6ebc275a6745a cca922a582219c049022d9870519ab453c52178b cf2d4675f6049f18240b8d967a9fcab24147e8ca fdb09df51581066fd9ae9153d308ec2ddf985eec fdbbd4321616d58367760b8c78eba43d64a2ac83554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 93abc91c039f52f86271cad82c5783c5cc5df1d2 fa34367f2b58170d59734929198117cd5cb0a339 9a6d2d5f4440a9bdb100269815556e786b616e40 7f31b9ffafc728b1b64807acfe6024c3a928cce0566cd0669a58837491873882f5374f762b398ab3