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 PP7d4 O HOL-Datatype_Examples:threads=6elapsed=84.102cpu=302.860gc=28.736factor=3.607zXZִF! u]ŗXf1-q恈&!& 7 HOL-Datatype_Examplesʁ^8J$h?oJ`m:} 8 pXB?1A{vR"R3 Td}l•ۤ\q(Bw!p56tω `6I vZ%=7{o/%\4᠏U=Q&(ֲ ێK" ATQZh9:N~{̵?]O}w|"B_je-ߧS"E' ]7΍"vfX]%x^t:M=vDR1T8@YnvSȄjR48)5omR}!ٱ9y6(g([%^Anz5鈵6}R(rɫxݒZ!+sex5A^P# L4 G/<y͂~gp'^@}o*5GƖl8q~b+=u#!'c`I+bc,dvo{oPKwcZde8]SmKNv|Yg ` ]wm=$ޡ꾯^4{UKcIh겎m-8:홼+/YxRj}Cv`D*Z$zSe:eL:k> o#O!Y DNBj\=aIU/G&$t**&lE  T M 蕼_89bR{lņxE x+59tS\ҭ9>Uɳf^w`U Q>+X,T?/ptH9,%RCҗ35X2+MM_x&M[G/kC•}ycF.n׭Ae 1w|WRZyushGk\h>\>nrd}j,-HdW\ʞ, PH2@sQߞҘtWAHص frnfݛߎ@hǕZ49j+pNtmҁ=x5.Vxth Q@c\:HFζ v+T,r5նxPֻSr+: hX@Cz5FMвc :$!\+@,vHMσ qG}Dswa s/)DQ۰!~W"F'd#q?2hJL/$CQ^& 3k7;% { HO 鯏쒓;f)>)_3&yR"/Ʃ\7%om^{M!!T#H2EjX,# [9tH!Z띳e^,82-3HT'_䪛l#z]}KZҫSFKI?:QAy*T.Y&%9 udњI?ոdtO}P,3QOkoްyE\c8nC2ܘuQ.71CTN$&^= K,4FȢ ' N:/H%$:i̭@դQq՗ղidv}TSiƴ<@t#X-Xf^U%j/l`}@WvV3kgU ߛH5xxb";UشZ lD0NJB|ѸфwE\qʖ_i0G\X;oG S%"2 ޛOyCrDY| 03 ^&s+3.E[]=xȟ\>IL4h ik_9Zt`ɠS)3؟, J)t~? 5do8~>cZ:An T!S_k"a_Q^k4!2ԔTAf:{g'__{N1[״ɛKK/,:)Neb8i1TyKLV|KSvjuV#O/˯pՌQ$A\}68엥PRAxԧHZ_rrGDP`B]5b/leJDvA/eg Σ Q8__y'nR6hD%QMVgy5cCɧ&ndEy˰ NL./(d~a#[}™RqnI6!EYBs6uh#qR jej%l_ArܬM2.6IfAJIo4j<1J1uX/?S XgػFz zz:}@Ȯm*W}mR^' su)ߝ/V[WhGχ@T0hCS7} ڮnaئkW$޾dۂ0qG+  .8+uh֥#e yojt1YmlgG ѾGuPagyDey~ؼB``FMŋCiT)xMBJXbVD ݌eS쏕&(y.?‚u˺UZ"8wO;[$Mjc.|`$M,5H}>Բ8+$Hиi)B~ }‰ԌYkh1,uX>3BX2ڞb?,G7b#j/)ڈ,K+ f,RwrJ&i7x}TRp]4e/xK̞|$Dw."neG[:ц3J #g. ugSX . .L ,PR[CD>}'I 2e~/g{_:Z|g%KC퀉dʢJ]3p) hEk ) tV&ƃރ+En3ڥNgc )]3|2*m\\LgI&b+Լm`57u`v)K7e,ffր+*/!ʽ*zgue^Y&@cx?%ώ2eD-TA=V|3\o6/bV*DYLjC#j)K+M|dnI8qJ|jJk mMn/g d|{qsOa:E2 &R'?A9~Vj?K)'iGKP*>iT@w)vH's8ڌ;kŐ#J,SD" 0op\`uS<.}a Ь3v%h)1x[nЈ?O(eCPA*]cٻw5fҭ(#*'ELIo#8Ҿ䬕o leCz]@R==HY*aϜ'HNƙS3:gN+e?W*v=Gc 1U6ɓZۜO8d*zYO {SMŏlvxfTq]TveҸ2`{NZvRNu{uN Qd|=U~̰afa;l}h{3<3=]OgK~<` ;nN.ohmNs09b. ܔ= ^F!) (5: L{ @ˬ^:كdYހkhLxhIF$h%z#|{MRf N |/ ;^EÈQ6bPbwmwzWH ;_boL6Y9DFw{"{K='=s>}s$`ְ C4e3˘=ӡ'1RLj?ھ#/o,e=LzkfUl ʖh9l){1"fc bh7}<8D y9S|q 3h6G7E^FDC=&d9KNh q}5[lN93+b%0W@ui"RD>(!Dؑ>~J+p-947EG ##4YAl=ZBM-Z>Ň@̛h;ψau:MDa6#A@!:{n-Óo#" 6R 5. h QP9J,#~yb3;揚% yCm]68 IuycxiNt] i7i|G<1Scﹹ {+Xaŭ םbgV "s><#81\ͬ8q41`T=zgFx9nniw|儎+iu).J`cfY#6}CRgga:%p,U1+okF&wf;01ݲ2m8n;̓=2p?('OW7k;{+EBp@q1Ňm 2 z QAx2R-^H"7(wl BB_oyϔ=фq.iv6nOEMGLЄOul5,ظ?=|e+YO>9e)cw ᄂ])VnQsfȿ|}sgVx&G~N#LAD@Z5+(YsK"CS:ZYB>Umj-+ B3J k -QOlѮ5ad4xy#V#kq$t=)kdEd_M\(ӀNw3*QXCm^n $};40D ME$5c ziHK]o{rQ \|-%?RY&mLՃ,aڭr2Q <|-QOsŐ4aF cphX Q`|['\b -*1g^*|Hޟ[cI&'Ub0SEΏNA6 ( nLﷳ;@g($* I-U`xz׬< 4QsiefCX@Bc0lMIYZ wi*]` ib[e4-14 T3^֚,[>EeRtaJ\b ]LX 2.WoAs7#w?s\frmxyX{SNA]ߗ\;fT2ϫ<{&BWN2$XŇG`,%Y6ˑ+%$‚mmAMVz:xptnstqFP` aM/j!бP$#X͌#83t/s+:'_Pkmc;;^?@3 '>hv3ݜ'X M|_cpͽԨBe> ?c9oc+hG,5q 5Is(,v^I wu$^)Kх_= iA[ߧ2#xіȠKkdW N[{9X= ѭG)Ofe/HǨZZ]Z8^k{HDm\ ;5 nhj|~oZ޳H\rAm퓣?yV"Ssl}J?2^)Lq3<ہHa0[.)ܶubHb`2;v^uQ z9--70а'3oUw3@xuT,}93y]N.u!HɓӫJ";qY'8g8IQtKmQ/`Q|q߉)6- s?HK@Fkn/.G$!4]:7l&u96X)r*'!i9 jI}ƁNe" fr} wNd![]hQR0Η>x7^2pq~)_8N7;Ug3_UwVhXW KRxֈmki1S. ɓ ׾Yӭg2 Z&@(5