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 E3T  Isabelle_Meta_Model:threads=2elapsed=139.879cpu=218.620gc=16.424factor=1.567zXZִF! c@c]ŗXf1-/6vRZdoMV8U)yK eXh"{v:, mȚބT$< 1W Dը:2 A8.t[CG*3!EY+Н޶VNMڼֽqYK#b^{* A`/ߋ%*W'ymoZ񏤓iyD TNk]8UFw}cm~^kꐰB(ɱ+&f9JBhEE]޵oadSȸSq\['eAEJPWVWkE'".)Gj>x7AҤtOdP(P)_8g5+qT>E=֔2lx'uzOqEs*܌{,h#VG9Jn]TNp2lK/7p]$T1 ަ^/`+%~ ˾\+mRFo6Lr+mR)VuTfR:bD~6ZD'k7ֵ(s99 ?5tqG;@xnظB$nJ*> q} l:G_˹,bteˇ޶}2| Aѽ~A[>PDyn0"7.A TyŶUa74 -Pm6j1x4O0=R I*\|2xeFde+oO#9+d8yM*Π-A^hy?~!l{0vllc'43x9SuuEǵ- 9I╅-RG}5\GOLLĎr0$aWsNĻ<ƭ&0+-e g^6Aloʽ\4&t@7e)z+fSO_$ep]4R&~9ԚֽYH)>y8? )֎`㎁ ~DX+f5O>ҦC!I1pGUB$-VIȷMaJBFw߉I]bZٲ$M8sf\߿qk Z kVX6uϋ/bNCݍO-i]T,43̕EWH7w,I1#B<,Ag>ǒM9"s̻:ݱh'TY=*߁GXZ&uՋ{.bJ}[G:T nIm*o#>+ <Sv?z?~Z&X^NRg<;?Y}jsax}T+V fB.>y Vf~텴-7&1700 \RMzM('2H0}fjR`A[2ld74~ [{9iz{og?ws/օiڱgYZ7zXZִF! ]ŗXi%6Czn Uf(C#lY|ZӈBEZ70?Aj7ye(5,6JqqD?7YaoXQ/}@`Ђ(8aÜpwAsz;ǣs5 y3,$jf4I7G.1Pw\IdBh}~N9=[<%lazLwhQWfnIܨgw;5»휓jbNH1lO(T¯T>؅dLPλ?'\`*aEoZ8Hqه&Xî+mis|ve.d!|bʌ?](?6Ck|Xдs~Dwb"+!M3f aM$+ `& F &:A&ݻ=Xh':jB?˫sE٪iK)y>mU<,XGxsBΏ|z0w^8(UX34RZ16ԃ[6觱ķ̳GB 3DbWs/0E AY;, C#\InR+R!\boO`.T"z0 E",_e%.x=+Jܓq[!8c1[VQ[*I+ؐ2/'mqfr אcR̓ h% j.!42 rְmX\osxIq;mEB6{OjɅ[Tw}h@ zL`cǜZg8~B"y(譻4uXej)Mlz|/nMz~Z`I@HQ2PG@) &˧>ywa7-;A\Zͻ^JVVy":=>MNS0D1 ^V7 yW`^K̃hNy>qϹ%3[ugc4C)#id I򺋱(l 3 Isabelle_Meta_Model// Qm;SiLɶ'bؿo 9Fc,8Wdl@y1>~LHSW:I?O\GCJ76c-ה_.sY~{W>ᐜOk ut& LudQb|t[ӫO;5tD#Q0y*%aְ%[vaDa>#w 豗C%̟FDHD[*' # D 6h%nMX;C}(錼m$Qd]!5 #3Zh\ Z!%$m`Ћs3/ɨjmw!%p׺H0C3*tRh|0kHJC;n e.DO}mCǮZ:[k݊u;%9(W $aip:"eg˨)=&GpT^nqMVukݳccC8sCOd#݄{b%I jͅ>e:_1 sY MH@Pɫ =USRɰ#b !Tib!84[|x 43ilZ!Q);*9cQQP Oo\[yӛ6/[Eo+b Xב0 Q%wN?& #LaLaLZBG #E XT Ȍ ß#apu8Ӊ{3+A.xMlaf6+#47kGGkG~.w+ Bگ늡T9e+8嫕&46M#QKZR:rx)CHet>h?@NG)js)j&3G̣ -q~6XY-&YѲI* x/7~Spi&GaLe>fO٦\߭+1ϒ{;/jb Y†m&,Fg}w2n&,3nKj槗էxSGud8'SP}|s6 ;=ܣ2oss Y$R~gq;;A~*BQ^ Pl-d fʔpI+Mbd^gW|d-;1J3 u WUމoGNv{xQsB982kL\J_8T/4;pq{ $6A ~E!bRPtvTl:Wk'AGj+'ՓRg*(7sdPfX{ tؚ`tA>O%qF'*FgOwn%T1(.1y,+Qc;8Hsl3\ g6_Ԭf}et!nNYS5GNQnD{Vˇ8y/ǰtټwe3*m!@qmyd rj?* \-8+FmU\k_ ]̗g 60|ÆhL40ג<~ٍ?%<ʣnA|Gۢ2͋@Ic x>}Y]Q-- &,X@ٟ#%Ъ0]AY۴!Jݹƒ Ǔ֦Uo% 3KE`Ii>|iè"&L}?5eoOk.dz)_ t>Rwc`і1[7vE1 Xʟ6t-w4FQ3*mDPt3=f,GsCYSgJnWU eP̨lP1]] nC˦P7yYl7*}=q}*lmd[UDgWm\<Oֹ.ocVfɮOkAV11ЩC3m`vΩmQ-yHȴjv!U[=Eyw6O]X? D^Ɲ[Vss|VR^.=[ah>o{+r 7XMcCˆ!&];vr#wiE9|0vͿn1PnSzgS;Y(2d^;/x#6=g^8o4tDޙw "rd=;f <5f4\_Gv1a"G ՚ؤ Ϗ*  qkÓgɶ Y3x=OƗߦ*GuDŽ=1]'t\I@1yL١~PА#~GXS!Uҽ>:SÅH!p~KcO-Ӳm㸁L"s*gGB-ɂy@Y&L#[ZHlmi{K6:%(F2]͸'P{{P" uBL^Ih#i.kyZiW?b 5v:ϕ [ #)N02FGQڹy>Q0ޚ^};W cG޿eǽݬ m=bMB?<z#QBj/Gnyf0F+2&cYGߏ4Pz>?Rs " 2;ھ\l,.U|qq柂p ʹxk7R?a[7.rA W9k q̖},yդlMlq'In7 #GuYvӀVXkslK-@CԙNyTτgm1) !n˲,!K.@hunfBauzuӵ,qF{?pX{){x/W5PN!>U}E.T$܎^8 \@7j HLv+ҳz65qOUOx,p)ߵ~nt.tPM/2FU/[KltS"O.dBOFʸ002y{b*@N{`mFDD`p{]~׻1 $@J =qυ*SV,+I]r h0 r`[].}L ì^Smiu C&`uH8&9~Ҙ/qH:4DoctM( ʙC{aY:E*DeƠXhD9ve :(-?^ʶkM69BAQ&4)j`M5 0yXS\<ύ?djl -vX5$OzIc kZDqp'kiif9Y{}ՄrO{!)"9#Jz r-EhI`P&?eyd\/+J3 uoI8C>D}Dxy(-76uk| )CZ?"FT{/RE"NgxX@;~V^NzE=)A1oFO3=?na1qMTDXl'1G=F#zG^՞=_}U}”_ zN~!@k \qF`>!8zhcHYz 0'{="$Sԃ Jwq-m©wX]5@)NN