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  m5lػYxZWro›lQU3q'bWtut5k+!*ežqfhJQg32 `7wVDGK]֌y^Qi!f ڍBq ;#̖{ }f?q12vEc/{:Pl. D> rjD}ȶ*\;JcR w[Pd@A[@<R/DG3 VP^ѣhA hod֔ 5o5{*b|?Oݒ* |AHqIUSn+R3ۄC8D-TKJZeB=TtLjJӄO&&^/q/z*etjd9U?/e'\IG+2&yCJ~/9WU~!kVIc w;x x8ud^٣smCiw!N햋`yMTq9%? OηDmd(._*lteJzפP%MA:t$HT5%i9jDh\ p!5||q z3M26fJ!]FĚw[V|ZC݌ M%pu͆>1'xnXuCu]mBwFw D͊( d9)_Ri 4VZ}>tU햃g%i;fƪ0vbKs*H4J[H; Z~R+G'IsѰJkbrODSPH V,j뷋k6 LWЙƒ>cA_>![^\@z>uw|@g԰#7N^cIC»E+*M@0LgR,&OmsyD] _hhU@L-4rn-~۞KѸ{ݠZ,aů2?Ġ d{nkW-iH4Kܿ"ywZ {KM W-$Ainu] ݷ=0] Écǣ)gJK˃i& R+́WUƕm!o[EֿT&K~~ sÕ sftߨ,{g ԖPL1urNt&B[je-RX0bġQ.vokھw; ԗ4))cQLd?pn6Upo7uʋ{6;TE3-> .4 =JtK RMic}Pa6Ѱ#Sa0CT> 5>PАHeK: 0  ra$p&ڛ}:$.{w w&PN[;YT1d,ZwxYLhY~pJ˔'A,ܞۙ.V;)N/K> j5Dw4o#j3NUk-zҟHQ'-zLneL:e0Y6:yFZN)zpW$xkFu;&t^%q@YPh5,V#d=`!kn ( lh(aIK N}@vRo﬩ I2F u#4q&9SfN@ۮ@3x|-gYZ7zXZִF! L!$]ŗXi%6ymMljYHB@qAڤ?+c &e1hf_tŽKҏ/IaN!O!=IgΚB-4[=>C03 '|W?K+4]C|n-J]&6`b?k=4BO]E5F#4ω| 4y|`.RCPY^2!r䚾x ک|{uso(EŻ<:=':0I-C$a=.`^6kߎς_0qѡ1hW]4_i"r]Ky%!y{/2:ݺHx uIl{!T3Rڸ5\s<^Mu^Z}F ~dv0>hng?CM&IY1_c9}Bw/<zG?PQ[ϒM;1C-Q;),3XOuPo]+b [-H{i&D4'X2k g$58+IuX#`K耉=I]b,Bzhki!"%aH M]`RKI(bۙl Q>pv4 shARUv9L:>>e2^ϗikK0T|FFwnȝ.48+8"&2dnۀe3,g,A`x}|+̔"Rq:G~zH>C'~&|[w\}É^b 3]6^lN kd؛Bf#t ۪}Q1R"JfʏMfZ[gX?#SuP56 ɎoAOˈ)<8sC~ȹQtye7 ZmQc&/|Y5 1TLwd h͡[LZDԂ?M?TVRLLcch,"(mʼnCyBptXH͓PXdOl5A6bq%/$fQ͈طv$5) >w #W'O- .2yh q֜Hi'4Qau.rF&kYLA-Ka@ ԭe(U6%@̔3Gxw9,uԯrmX,e<>_|;hkyDޟ/](Ș5[`10F*(N6N&ѻnɁ0l4q~WLYp`a"g XlxI#l{RC`~nɢ iK1C|nZmQP;VT +N{nʑg:lh86FIآ,: Qjhq^8NZDAE,uU0NMT0Ղ%BUC{|35 z3$r7rL?K aAod:T'AvTN:1βf:0J{H+^8;JT\[H'sJLF,%WñLaYKr8) ETMZٵh Pbar|/&&if^_j &gAQU +g LŤNFuC`|I>S6 vH9 8פ4Kq\fC>4jnmXu>jؒMLMZDғs mHu/%+.hx||`ѨCcL`'^|9:O,̀Vr$E"eWc0F$z يӈɕ;ϿybZ^?s-A$ODv]uCMo[|` *qXSG2~0 T99 8X:V?L.s^ivpnS$"$7X;ۺ=^H°A؂K7g9ؔOv$Ov\?/x n$.M)kIVn ݖ*,}1*l@ 6+ ]ĩ$z圻JĀ$vʟ+>*q1a1V29ޤnt]k߷[4ȌSrKQNCՠF"vGjmy bsN|Y7eKrfg3_ҘSD*KeڰvB X.IlU{}0FI^qz& ? )v]|0J4-}gôXਵ~PΰM78y ,vj_\eի:hÔ3a>}cS,&BYR׹G%PS=bQٍ@Z:ӎeӦo3x'a-.wu+B[b~\qY-Ei/=I+5]@*ȃnpUk>jAr[q{Va0m92qn+K.D 'H!F~‡9Mx0ucasxNs|BE kWH62"&/8!|ƎQ:\NF^A]k΁)|G0vҼ&̺ =_9Zjuz9OPIhV`R߀Z=$z 9Rû8AZ;PƄchof6]s[~>d.(Ω ZX1 r 3e>}3d tO?!C'z;/"?VhD7^L%ȑDXH"iP$/X8dbPj#Z5tjv#o]Vkj 'ԢcW&0a'Ygڋv WRC_~o4A=+eqOӰD5uWǧ*oG)>񥙪Lΰ .Q[t_jW? exݓdplDg'J-AN~PV_%lzpp=)H1{XWE-R要=ɽI[sR,pGO#MpP6E[,|U]8d.{;0֭ԯb^Y5ZtWߝ0\l2\au>  0> S?5)C 2V5cQ^dS6 ϙ krG@fsY2^(dpkKnvajFA"-S07*ybOJsY@уa(/`ױaҦϤC .dpZ?R$#zb&+c1pAC#M5}f?f{ N65K o>t=1KӴ#^d $# 0o{ #SO" dD{tY2 ^s]o 0ґpH6M$8 90L k<'@&k#np|nlLZZ3IJWP\VF@vxLGUj٢ù^ֲ-vle@nHpc+JIQ]2kx2X'$`|09ն 8I#IGqA {͍3#Z>;%6ٜOCt#)'5IȨ Mdm&z:jۼog(EחΚVLW185)Bڸv8$$ HtD c v $x*n ğ*LH2#%p-(N'!O~Ugנn!IodRW{}X1{cv5/<-P5 B-J;bz"gʓE*S$zJ YYN_Y*(-2B"%[ 0<,sӱ6ݹpU/h+* J0xÜbo*Vn1Fۅ7iG7!Tehb͘Z~w(8}UOLIOSreopj-\m1 mIAXa9ؗ:/E5~s4a}N(\GESxC@:^h+ra2`\

wzamn=#՝lA6$(?i,]3DG̲&؄1%r֗:3¡^{Go% 2ha?mZ:䟂otP싷.iT0:l O@