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 %! , S/ NormByEval:threads=2elapsed=25.291cpu=48.324gc=1.280factor=1.917zXZִF  ! NormByEval! N]ŗXf1-/6vR[yK6Φ + ?:%Оos+[1x ͭ ׾vǦhB_,H;)Ґ|ҹ W4 vf@\`e[awǞi^o9Y=5gnzU}!/HҟY"r6 V[4iįS9GLǯjGWP51cG& $crG`L,G &je(mOϨt')int MӅ)06:嘴{q$* G:oK]Xb[ RVxyLr ]KSRxVH{Sب M4} q)Lo^)Q$uj Ef`/hEFΒ$'Ei7AdW{_F7k֖}xKyjy"<Ǫm=' Fcw =_3:5q sc MRdja^ЀOj/4HTRxJaI} 8&2UBiz8םdT ~D ` TQd@tf;5!9瑳 ~ ^-DP Eٵ5x$'&$62,1@yU ͇w@[$^h0g?-Y:EAc o'rTKL^[ [Vz[KŮk0ݫ ;ܤ&,Yo\&wPLL(o+Pp/ Vp2Mٍ'c iI7LG3ՌVo=X@ z ϰzt{/(.q1S32VwewL'n]<) > RRF )FC#),fe Hщqy15'[N"X| (c(# h F!Wj0׀ dy({OcT? dxGBUd~آq7ZY@#}V !GB]Ƃg6Px M* 7{'+ԉ " R $œh|3Dt?$3.G> RW(̫! m*Sd ㏪xڸq 'S6\l2cxIX_ư >~wD>GD W%ӯk&vϠ. LfĈ_~S}}<Ҽ~diaʭ`+.1d\KGH+WMvۉ^o_Ɔhgi'*ې 7Yځ5X!~.RUp?2@ĵ磟'> M 36At% @GJ[A&N2PeupɠL9ׄqBYp㘛 g,%5Ns6n31o&zƟ%FYm`@.tW!ӝV9Z,EPHkENہ-5{{PH`vZ^o{BjWl^Wj}}{rNqH>sw1} &lwU+90|}q&3z zu#gcG>l+<.) 6,`#l Z?WB<)=bR,H?~˦dtW(=(r}mS)xg> =G2n-zޒm\snYOTC:&n+oY@bLKHi3]ca(/CWj8eA)(K&{?<EQAϼ֗i9l#XqLiQC7rp ةyugwlM5.>5mVy\ැ/̒[7yIJCNW {Ïؠ:52dd8HM]H*{b@>?Uw0XyF_^MD&T#K;X{Vv;i_ nhJg㈠Q¸ &CC,Ƕ`Mב( 3)[9oAcǕ-x@櫣40X[/]Tp{ `w0y^H2 &XFRg4'RB+6=?nkakƐv?:%ކU;WWppG1 d=1_Pc"S:;EϜ<14PZ@\)bȹCZ/76JIޝ\7/ Hh)# \9r]Ez\BN?*iiH揅yN vrr^4|gJAq & :h-'Z^ͱ ȒP(L;biO4-$]o#)55@,fCם\)gݡUNifj_[XȳgYZ7zXZִF! ]ŗXi%?5r.$U1).1#r9Sl@MsC>jTh +>Qlí=O*U5.-|#ÓHo)1Imh ge's` e(ahgFDi_̫O?L(C{}t|j5Mt k h2w]f$RZº##\1vd^6{X3iV[BTRKX0D*v#T*}˖R}0cҴR|(1N5A`/`3F$e)Ũh.5 Rr97Ȩ eքMe423{kO}Ʒ61ce Ϟ{%c.>8J$[X2o4ɑ4%[/1'$xgYb\JD_@m#Wvn;[I.oJv:R_OHz O7钺37ý M ˦M>H"!UcZL+M8I Q ](HN+ysݴZ"j;/5@u'Dw_tH;1"zM2܅:Au]`6nnbU7e/߿omGQV V#uT+Y?{_`Αۇ p^ \w%oγB9,ۇ]X1<07Q`"zqejheztWt&#*Lj7U&ͪQkw0W]$76Fz/-J^p h<'spkMUvV9*Jmz;g5l =FeX?%suBggkk wCXG*9Un9KP*Js"P|;jUEy \ a/2_N$J+ ٚ+[b9*O<%5j1oYI%هS2đׇ++k{EEeNGWD{nsuZȟ!^?(1vG9XoBG\}:Wu۽r|WDo5QR;}Օ? 6Ý!25 +0BqM.W'2 #HcRzpԿ@/`w/.N)n"8􃻤Bʖᖞ1k9DEPQ3c ,r.q5hX {nhM3J1W\`3''EfÒ!?:Tzp3pdbm6 x]!J8b))ѤPTd:xفE4ȟ { $!ۣj4ܡ"c,A$X u`;jS"F%~8>#!h/4f}lT ^F'H1m88uoԖFFS\2EtrRyGB_Ku@=  YVN4b$cjWrpe_sPEgYZ16b6af08e205399669041b79bc02bfe62f75c02d d45d00c6430bcb32d8ec28d5387c874d34f9acf5 dbfb16504f02920db603ce3099063e57929e36c5 f15e9a0267e9c882bbe66e1a762dde09b651a14f878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449