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 z LT ;% pGCL:threads=2elapsed=38.943cpu=76.964gc=2.556factor=1.987zXZִF! V]ŗXf1-/6vR]u6bk;_ؗjT>|={@R ❓U|8ߎ]^so ^fݎ%)i?"`#oAd_r"J2ڜ cøovy-,Q,P4?>Պ?z;n&19?V}DKXn@6P*疾 I9:V/THGr@~< vq+LctL} jqu/~#Y .3)<`!SvUnZLsAI২ϘYKVB RO,2&y`Sݫ}XBB-:ɲW F^eRXLr  pGCL\ WUlvb[~,xʛ"_+LRx`pgZpvdj,1ڗ[$5HuΕ6#n%E qIz m/G.aDt96qj] ^V fye]ms6[қ4 I*C\~k ʹ/Op0ʫg 8la`7,|ٜW0d|r쫓zg7 "V8"k10>+aMќzchp6PvJ*d{8쒊#56=㙟l9^kQq%?W#ӰA+u+&X v"v@xz%ٱ~А4=Y,+e3փ$U6N,s@Xi?\mC˜te K5>qɸ^\! Vn+ƹ@ #~~6pMm!,L$z*Tҙ,,wÈQ_drm+gH3:-F8! u?a|,CY+S۶;7@NT/tc^ӕarȒ*${|t'MSpj|ЎMD+L6MC;G߾y c8?2_#g_t(~%W"}u(~Mf5r#UwZ?( #$7HҩIra\wi_8wۦzX9j(wFHEL0zDBٔ ēIJx.5(ËEn.y4wԣ{>mۤn%L?5 ./ƪqKO=|^\e1dY/|XG'K:#/EL-FW~&sh萦j)4OZ.<4]Mֵ)C]Rg }kWT{!,}fVFԫDݗ0q> j|&"Huk.^y$ʫmcMM O7vIT"=y9_cHQeq>6go"L棗QVRYj9д> C|LZb+q x EN?;1!m/'O9bmaؤҷ{쑃SpZ )0`EpO-7ȁ6Q 1:V$*%D?*?_gUӔ,VE7!$eg;6L~,h1y1c)p+Zpe}ꮵ0^b'Ø"wっ=Z?=f9S#4ʓ݉ YsL?Y>Y8<1eWN;_Z۽Q~tS 0a s>'kЈ5;H+B%T/ʈGV:r"%Pc2W^_)Kc LekOy#nP;1I> "FӘ#9E" _miE\ ЊO}Y"-S~M!,J4;{d Ge5iŔv'0~6`/)%8@.CɌ+Mgc$Vֱ< Ԟ'p$"m-rP;-xھWj8͑3Quj;8=>;M{)ю}LyBoE[syVj񀙂uc7q?r F讘+w[6&˘\o}ݵ=Z.EnP [,곃HI8tWGS&R?,|*0zJ+t~Bz}ڛ&R̬f4] &eNo*J\@en ɯܺ >bi&}zqJ!45gJ͟:.@2+bVذ1h;' lCﰆt(VdTA?0_~ _2lZ}CcMb2$)V4bdgHt1tbǾi }%KmAhTEnSO [fy7jܘs:^:A!:U$±8'%@ sȄī{l%ۿ\}}x }Wꁧ(?țItF:`Zp[6VNl&J-#5]|+oL|uEn~(y}DX=2ɫ9 rq}u6z ]+#4[TQމƑttTCTd9&ԢQҬ/n_)=&qB̏.JT3;6'Y$Rw5aOܧo ܚx; 4!h :9Z~89z0Q $Zj z}@7,q޽:M{N-BlY ZbHXY5mQ0Ԯc\Т'*>Rs"ف\5YV~x;Rk2Cpfo:LTm.Ɍm(6jU6%;KVt"YE,&~!0"I>鏀=yq5"bI@.j JXdTL^ؒA2.)jv;h#ΟaG܅˻02UY0B`VZPW0@r6 oѢuϭtY Ӛ-oA87bDm=`Txf{rMrW[$c1@6sw\ n)Fk@}\F"H$\;1NM,vJwVm* 7R o4^n:U|]mxة1m]y! Rvt}.^ZdTPE{ʈ==m3oRq}VX婨<*260R! whw{DUXїdw $H4G*EtSZO=z7Y-A2b*[+yib+E,˸N-K6EL'95݂CҐ#wA{,a7B2\00GKl-t }.Àbzj̼/t`c\1RTA;Ǹtk3^p{>j`aJӦ_>_8mcn =ӽ8mY-NgFi ,7$X<0`ڳ=bKeBV? A prV_͹X:v:h}dYhA-`h8 G9*^{jCjwPr5][WRٻ*wo i(r{Wv:x%hx 0JnXAܑ.+YD0Rt,m@G<4|1E~8+n 7Jb EH1IʘeׄF_#O+rҗM=UB;`K?"ba ;.@v}Ə4MnĘ|j qu3,KOP;6gy$6Oowdͼsp}d#`&'NWtPڭvv  ~5ʒOa? bpr/ Nnv7^UWz7b7-{ר@?=j&^=~RIK &MVǐ3KJ6Rk,AznoMV{vmYäUh_YA><`<`4utdGahhJsloiAylz%Qi^;4&{ji"v#fளm+^# wM]8<-WkU7Fib"VCe뗶 ı ]J>8gb9TkMU#blG[w !xѲ)Yg^zO<+ǛM )nȓ1w4JGgHIהSޤ_g3s[Xт& 2; z@ˣiҙ %$ʲ\pQ~h=mA`h棵| WL6e u-kBGs$AKd@Mesl:vCJ֚޴n헷gaU(~vF__i?]v$V"j@V\乥N^#H} ,E ?.9KE|\S!}`w_H܆V0ϖz$9[ ao}H !8iN~E3aQS޷{d,^҆neXI(4uṶlR I AI4v/ h64lB;}hx2?ڤgީ./T!sscǴj6'+'N@濣iM0Yn[xD0/Jt2Al~T^DѹRZL$NT5.&됬RD2l9H_"kF3hb\&gi`0[b)Wy%L>볐S[;K&V1єA]XHuY GRYźJ%9QҀ|gog\Սrm=SA1g nURNUFƽ%PE2; @. .:Gp<ļq缌yEz]jdLzl lQW]ϪKϒSl0:Z@ogwv> \_)I S5kqe#w@  up-k&,j.o~Ƞ.\Ȏ@Wu~x Zjk P"dw_R3{x! 0 G<աRcí6(&<*&M ;8Ðhe7q}@g&J]hUHs?+nVĸy;vrؘOB;\=]rۏqbzvρR~06j?FS.~Ctm^Nbih3 !'1dRIr2"n܀o[)öA~NMKAfO sYXsŊ.`,' a];Yo}Q =},)x_~FJ*$*~ &k:*]\D4d8C'lW