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 S lL m SuperCalc:threads=2elapsed=41.341cpu=80.352gc=3.564factor=1.947zXZִF! (A-]ŗXf1-q恉<fUZ$d{s[ Tc _?aڷLW&\]x\&Ӽ"qʹ_|,Egy({foEN:]D;s?pAR7 =I([&GsdCdkHMeW :+J +оv>LU:4 ϩF(`   SuperCalc46c=fd' B-NrIOЗsc\Ik^SI,*Z9G g7CعVNFο>QȨVe) 罐b1:i=!%aΡ*8i2p'.YPأLv6 Ng 8GEA]=рL;2u8sH?0xw,nֆl=y 07q^Vg9=ʈ!(f;B#~օ@Z8%&ۦq*%k:xh  6;i=Z/QO:.I6>ofxfYk"y?y 'y4E1r7.Q1AL=\m9<_[o/@ -s𙽕8%Ԥ#{xH(Rl݉@F-7_FjjvTP@#ۗ& e݋T_Ry1w< M.W$)[r񘛣=f;|,/揓2^s%3g0 ] u!*:/pEROsq9xmiΣ5{̂TLg!1:%A cdM~*I?!.[/<I%ޏD=a؍˽Lr(}w9H&Wg$dp# zP]:ugYZ7zXZִF! ]ŗXi%3g; V6˸=e`UHpnhgŸ2};0_8塍d)w*Yf4P WBVWokr?ue#ޑsL]ԜVD-9;-#Z߈tʈh#NnѳFK{קk^ǵv/. D^G9N{].`3H%ktCf@KsN Ӛu]QB OږROBQ" ܝT} b՗v]K#ot|vC@nsR/Yu1;fl~), dV%rßRlӦqy鱥0q: fMT2:8n⪞g!+<0$D^ 1$sّGWG^̙CWb<>p*F-.LexNa$%@5edo)nQ=<;0bFoA k'O*M͓%CD hPmdZv |۱5{~|6<H t_'s$@#y*K%U"O{"8`oXF.A-Mm 0Wc\Eqc>;ajdzz COvx`E{ yqNuHb [ڧFws6!uvɈAz8|n.8V B/Vod Sf#V]^{s/\^EmS֙LaL=XaL+ ?S 1ڼVGZhy*w\KJ0qYk9.& n~^N;\vտѫad&eZ[GN bJBy/1`.{8w?HY0l9)I @QTh%ѕQ5HX2&_\{tIT6{ åGÍ+ я åҿ-8 f$l] 7yh<(>X(&|Zv1>6[Vǰ1HzDZ 3˜ တM ڎ'F]7I|z⛧UsL%`~OiUKB:]+Eʈ6 [juW er B"$FF’-b&F q>2z"%HxJjUV/^tI7X~R@LW(媪Kځe%,,`&_0F^Z /,|0RB\i  ps7B[mm}8NT=)i߼nb̊o ?\}&3}%rg\bX{v;6@@dyevq ;@!eD(!k\C5C>`) a=g|T.+EU 2i2eب1ov=l,R0}徛 ):ɠݲI\1L#M3/q,X-kJNʗ >WL[5s۰Uj-6?~B l_?j1%joV&i/% wӥPː[ x>Ri~E]]Lb*ֳٗmC);U x?eiL@"ɪ^b ͞e)ڟ -4cx̀Q5ߖe_#r?N!@h9F>'ur?.{ىA"3{Y-Ca r >%P~Dva\ğ:%euC2&mQ>jlW1(ʹd^Vk"x_Cs_=![V6@(G>?S<ܐYyWZ6Mh5 -_cy1Btwׂ:j6-e:0H*LfOoteAўӁ9^LDmqwKн+8 m至m++v5լ2{j0VOrQ<\a][owu/}&A:ڟbT* \VK