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  # TD i/ CISC-Kernel:threads=2elapsed=22.282cpu=41.776gc=1.652factor=1.877zXZִF! ]ŗXf1-/6vRZx>3dd W4Xhz0a=s`P&1D}SOz>MeܮXƶ:4ua}M}OP%I팆 (9swW esf-ߘ@,/Dazr-@aL4&pѨr #øxgqѤ&{VOyfOy6&ǀasP!YfQ%IZuEqhy;rqSuU_Ԟ, (ww7ڌ.e!(L֡|h֬ ₻w3VTԻ26%L]ؚ4<ҧؔgmd qI$u}ZZ@Q&&g{ҫ]gXw}ksmḂ?ݎth[sGBBhK҅{ЀQf'^]nUYmo(}$֫!d GA)4$%s6"mRD &L^uNr*ňRJAITp>T% P#sy8 I }l"\ܽn$AXU$o<@$Vz#r{l&yTpa2q\S6S D*;wв<.h0p͂!K_? MS@_Wxf>J =] }Uhb􃏙6>A~ctOI;ˋIvހ#X)8Z=H(`\v׽+D[l%>-<'+)-Y(Lߚ3E~YYۦ6>O)ߣVO`@OJ|l3)Y iQ 7k$W?0J"Ѭ|?aY1pfH_Ȩ "?{̭A pu=lWɴuַ͚ >Ph*v>OwL+ 3$,C'3}|ԞsJeZᥞ-Ⱥu=A2>T aQXzCwrk &%NOn%"SͶ>ۓf`,j6$;$ NJ 3h 2W"D?e(]4ͫ֌zSb?!կAoZ^xy$@@ZKFȮ&! @ѥn+LX'RZ03sJ]P(*Q  # CISC-Kernel^ު̹NruB@.VF3DĴeQݟ6i&v|ol%ZWCvMx㊻U\@-C:Wm|?X`V0Q, ";K&M$G,;]Ͳ*wd/Jh+2FQyᾱ ֩n ̒&M\Vz+ЊJW˜Κm2#M~ͣA`B[Twk c]1't|jxW%߁3ͯX9|i"_SGʘJ3SK>RP] bgM='Ƒ:S^5q[cɧ_PzUeN҈Expw^>ɼ ҍ*r7Wꌕ&;Nu8C&w;!XԤ8IBq WD#$!qĂ]KI=6l-K&RrxlV. @nW7n1F\e2:nՅ. fWkLB;V۹fr鰚0Ϗ0%vK8V10 o21e@ei*0zSW$x=gǩC;uPcƉ[0C[.nF!1C|Er Z[TGa?Vs1!Ƚ1#d ܻĐwWV`0xed& `Z=/0Uƪ97&2-L*Ҝ0s?3/a1յ D&7rLKksVLqg<|G}VԔ.Bocw0d``yM){jO <"P 0 oI/ɠ J. h TW9(JBӞY^9 0y V!FK uZ n=G8/m텪एP E>_صm$#p~O)՝tSZٹWJMzSgg,M,$<>jak5kVס)&:k]C\u6v?qCTnt&Q +:W M<6h''|_ƛ6|;psh`mDӺ&򫴘fs4$JSi#ߛhk!/yWogj(%_!6`^;P[=O*KƏۧiW1 p c-le<hIgh"P%BY Jq"3&(̈́Sq?*_lL~x UEn"A3 F88cgh2}Wx#.y.Xg[Y6fvpt 1oHV%40$+A7і*[Gf Hӳ+k< 6 8m`e>O+/"yI˅:47\mGۄq3e$\[ uR]ېh2Zu1 "Wl;Aub* xX;l=b*;Xgn颹XҪm6ͳu+ rUD-/+hCrrF gx;*P^ZYч1}asilrPeR5zٛ>~Ź \ܦr_y?Z[k_1@3!93 C? 拾G#hvi* H 0C$!Pun 3k>a\~g)H"7 W*\K'HFw|rZNQ#{.VGK Ø7LB=FP1e`GmCnfZ E0Xy 1XsAj=Ex{F;TC'S;u&/mR(_#1xlN_-j5t~: ɭr].DOܷi/EpW#W8=B{oAC $|Ŀ9"M5?'*CXTV`2?-*FQHr&G^irj04Ե$m2t([0&c6t1o"(ӄ`v&8hi s᤿t>+ҠfeuV[:~ N]yv걙@X+]AWr*ڞGzF4ρL%b1h˰!;{P=lE1"gAzUڷ 8Ysl%7%>7wNQi|,U:ͪ>)| ,] 9mk=fjNWjVlċBg#<*ȪM-IRV)1yz0lvp.KZqvIf8 b.Z^mVW&rN@G#B2uG Kc6=k#ūor諝lW(/9Rk 8gYZ0506f095c011835c4f7c437686483120ef02a687 3592c30ac1fd38ffd526d039830f81d754495946 36744a4124e740bd34455511b5cccd324f277a13 3de2d68c664fab32ff7a3aeace0d8bc43f924879 440b637391744a33a3e30aba8ece811488c7e9ec 4aabeb454f10c247e38df7cd714481f60134bec3 5061c1f8ccf840f9ea08ce306fe0df979ee274de 647b29895a9a234f8b44594b5085767187248cd0 68d9d51d23a8266e670f046ac0a501b349064391 73b9223cabede58b98b327a5ba24c2decb0b5cee 7ce1d219e87e3a78d77a826d66242aebc0c1d8a5 8ad780413248ed3f56d4f471bdf9d6b24491f498 a472b67214a1cf6a22efe58c8a3ce2529602cfbe af88c9306c41efb487e6787c9d795ec3c6948c83 b8ade7f9d5f7d4712b723e66913e308ec2ba70cb bb7be0def2547caa9c44bbe0efed558cbd09916e e348d16c420645f70a5d38bbef9783570fc1e619 e41054397abc751ba6bff1a620d2944ddee02bdb eb59e99cf39fe39e027d7743befd21a29b92a39b fcf4d458aa667a899f0ce8a92bb49c3a31cc7d1b ff0c2da3bed4adad2ee8133efa39fcb5777340d4 ff997872fbc887147587770dcd32855de0cd9a57 fff085c83c737871c16986038cf3c59cc609f6369711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4