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 )gxwϴe-EJ x>܋bu}Wgy9A܉K)ny+I$ %]qHp2c3Tamsmc&|>3k afʛZ{aI>LhV%'('Ug7Pyb* v"@ȈΌ ۢ&^Sk%:Thӎl89G_{)޼xZn'wKV.,C"he7}%`?%eg7طRDzD gֿ^5R{@LB~quv`2v\e)S^QAQu7}LSh9Ӧ7] 1]ĝ6U|H\M!m_K8}5 Iv: Y޻(9_ 36l";?4vqgYA!bRMWMh7o ve6}d4e[{N` F]vcz.o4Hpz-4 >\Mr:7H&V)~̣aLu1B9>9{r$:3LJ'`6ľj; _2RR0B9 Nj\xSV\ѓ$Aל]<4 gX $jnQ\K8 G(mOf O5lr4x;c yț͉ vJpd%N/,SWݻtFog9(R3X`Y9xzoBxp CIr"Ja:3Ar'8U6R]9z]vajkIO|IU1Y0NAUEeMϿ\Qge=3M2T3bZMt{􎌴b ]yx< Anǫ>z2ɬƑLN(gĎ׿ݔr{$&G8k{T]ħ.nww^4 lƖ/J1 _ V٨4/R`&7 =+]+1ix vޅe {{zM7W [5T۰,^[BBM+S֧:B\̓;ḏ X_Zq)2js֢]Zbrt8>Fs>u ݮc$R7ȔRŢ!aʨ|L4apr3UK4f-,B ~bA -0`nV 6-~|Z3߂"*CW8L;NJF:mQ -6<&,sknвnY*-{-yjyaA-_a0́% Lcp*d[&#Gaz ̟gK2n#"ГyG5LZZ 7X 5Bo):IwmF[t5b/d%?|b^' ! MDQ@bܑ\AS{$ Gt/eOG>u "Y|L]ѻ=<[֦ JyE<5`7VyXkNknV.4"ۍL~$3L|mY!!m1;2 9G90<ڠvxVPF/NLj3& ɥ>=VFE }u|\*EIȌB|Q#==M( D ^ej#nգJǠ0?3;m}D`qjQo_`7';}ǎWYO(VRs8qCZ sn6 I.3"x"54$f0L:l- R$mRKʼ˭alb3`apX@vNcBpTI'0๭PaMs!cq@8j4K_``.\ǍD^.ݙ$aqfʺV헐æ-]r1|nYA_=Ᏽ`II{aKD @6bDzC0T}t'}P}㐛%ys ҳ8x$ ԤbwrΞepOzb;PcA ֔la^]@oB\2PɀbgY`sp Z Z߹Ro)߭1գ#a ?6 Bep<-~ _$W{ie0W@EBI(-5Q``;X~bʿ[IՋ Z'NFH]8p-Y4TU=!aWv]$X, 8>T#9=7~R"!4H7\67= ) wmr̀Qde) WIOlީ䑣N䮆XB oNN>D2Q}eUp [t테K\Sޡr5td'/ZYRs7_1{91"`Ú˕Kk6NՉ|9|tu?US.Al?dwA$h|>=dT^ZFcK. D(1 %e^_+W!6z2;( ݄uWʷ)DPy,S8PQXj֪߭Je48l*{Q6%'ӻgɖkCBֺqcjNI՝@`/*7w*a9> wBcsߕyivXZ\xHώvz* Ο,,h3 32 !^8igqnӶmj_퓀FsU=gYZ7zXZִF! $] ŗXi%3!wC ?˘Y -wkC}B'LشwC:E%ɫ&ω(tO`:7'qԶfdb>sG<[3g6L9+hjVOIS؜%*䴽DB/TGybip1`2, 5 K LBۦ >`Ɇn)UIB8\/;p7$(UЙgaDV`0b(:~@/ֆqe:%Q8 +ۅ78ո~6;ВX%PqA3kcW$w|-=*v)Ͽ uW)02M) LN%8i>$tsZ4KΛcag[Ѧs4ݛ~%ikUHy5u8Bv^ hP\!n3$NW{xdrG 6-S| Q aVJk qRaDR G/QD9ӌmHGp!qvRЉ V,bja9}pT, Y["=-$"2Fx^Pm7UƘ<#eeyTªN|˺od@CrԢ WqGPOC!IV73 9v:QqW/Q|Zy 1*~I<8@5_ϑoQa\{oj3 eG`bI0*<6ޑiqk <eAZ=*@<2 3r-Z׍7!c) PO5ࢆcF):Yꉦ&nejBف^j[vq괖%[f@{2F&< 4wANպ62F· X5v}J.Kg*{gg.1mS?g/CEM/l~XH^'6^ma'Օ.$ak( Ƒ ͵fDivًeE&͖L[@mI[`H4?₼̢DO&0`+,o#D9|ܢ"3QҬOO^gl}Y@m}-!Tl5B_̅w086y]Rs1IJf+QB䰽oߙXllNr#\zB.G?.bnfE#8Je+ؔy/0:rjNDP{ MT20-]h KZ4Y:$rQ xapĶsPwZ^t0);-إh,k/ӈ1QSEb]"K1wo!݇MX*"  0C~ suv *CLUŸ]a )A3Mky1ht'#m.Ы>|M)-9gD_BH A5TڑϜi"'F@OeӾ kk9i@~*a FCqtdQ wd4Jj ƕ)ulVMط?KJ$鄱xȟZ"j ϑNoONJXնy Ż5!BF7Fzwz6bH֨Ls(p ўS71XUFf!y˨뢚^zcV?1J٨^ /}Z)l7uثv\ bJe~p|ݶػ6 4>憔B"jFDlPUitk V0f"F9%@/$TӼw1$ `+Q=EKNǶvFVwq]vχ1u$WNi}ۿ(i2{"0 }Y`Βe,? ޏLRF\L{K\q=b꣦G|mY+IC=H <_@HR.if ;MoUm s-Watei7~ߵ=s =v|5pw`[Pw:Yxڠh t']r6+S7D"g#fy N5~Xbn~L`1 X_Җq#G ;{Ǧ3v^r%E+%M3(] TC& Hh:V~K%,2 R-a^d\FoAίE][ѧW(2]KvJ=o jk H;BC]#\8acG̵sdM Q Z8f= ^&`+Hr 55"&]w{Y;@=J2^xlo̦ eQ4A;S'8IhBN=EQ6olhaYu`De>۩K<ϲ@j8_ w+UE=CZ=ED4]P:_͕ \ HT2 5 ǎ.ל3iM;n_/?%|UƍE\+k?b_AT/Oi.eI dԁz(yW`g,6}XA=k|=8TH( YH>;Xۣ>EP ٌI3Mz|Ѫ5 'ܳz v^~ zC!8K"ks[/$EM>3jd;ж:x_oǕP0^"eņz|0j 4f@iI-p)Tzk(,j!.Gь~7WɉSGn(dݝ~OXJؑ'xgnY3MXx!>'yD@*4I+,<Ҽ-?']{P~ >L ΁c -JRx93J L]STSXٮLM1&RzguejM?1XU婘dNNϔ[їtec:MM1whĝ٧@ݏ] {cYǯ#jߐ}9V6aVQԹ*ι'Bf\p*~@!64At%CF2Y۝+5_A9M!鄴ë abowFr)AUQ9e!^UD-fZJQ.3YX:N:4EB)ۭ6@ R݊xN]94AԛYRTyT=^7 G7ffi 1YH3Aţ [asD)bV䭲(*bfix [gAVeLǙqu@y3:{ âFT#&n,Y ]AqR($n1=]5k` va#?CYJ >8mHg# spV0 ya%Jmg0gJ rt^~9V9S >3ԅpA0i7NՊyO. {6 .?~Ļnh̄%`4؈d #_vEkhϹgTEǂ{c/ 0)u:ɱ3f6. 6? yoV`퐾 泸h.L1q,NV%0op8o] .e+&LCDAM0'TOeS6֓W滠/$2, M\p;*1un蹽 C%9Ulʔ‰?(V@?9({zxݬ*KAEºv/ _=̹ d!|9fܮgeC򛊗%pW]~MoسfzMzy˸!GT$<>7~f,\YoVLNO\)Eib9RP6(B>.ޭޮ*wWَ?)O(ŒO гR ĄS3*ɝ Dbo!y;+렋PN,y}sHE_-qI)u[8<̖p au%9[Z#!!G-+!2tžOU_U#Frm[)uwƽ@f.s`^_wsn_Qgt %_͋NwcA2f֠Tk-@cLRl~_ĵ2́xCxEC WE[ȭvp9jrh ܘXY 7Nw!TN ?01-Z6;GA4‡cI.kxѱ6iey}NN-։BWT `)#_]H4VH]byOqI8m elYV}j|ǘOP_p>۷?׃:S yӮ:;B^ 9X+ *1l,&fMҤUuYE#+pu0`_WJH*E:URYlP6~v$B&rgdL(e|1'P$El/(f G)Ig0q# Èus?$NR7eSi;f zH#ܔ' %"nm{}SD3Lq|\,062xC.lVu|Zd0K9E[OJey};ɍ$HUFx'?LT+03LU}t$5FBgdئрOdrU\4'pΉNޫcC۝XYYAW4sIy-Y%\-VCZj [UBbLZr4JHgR+Naec2|,_[FDr Jh?ՠlq`p/lЇnC?`g/Y4 g͝i ӐiIfÝZBB]08:t):dT1UF$ؔfGɌ1ԝ&`'b$ k>N3nZ|;*\McGɃ9ޖǚ(Q+l߃- 1[ nﳙvnD۵.AdД|ƿ;lAo:LcuQTj-7N!Me{pUmՊn&,"is"~p~;&,Jz<=dzS0I1=vt1߇y ̈V86pꎣIDe >OęrLJ8=1P:F4h*ep^~> :!sUΏJ@* 7EpIQ/j̽dhs5YJ u5"NܷȃrRt8>)o{0 q6{gXЛ1ԋ5i!I*W#X.Kn9Xб0M~sEQ.#Y>D䙙cu3D2ĝĴ{'72ѮlfstҨYP41&CG06U2! YWZ'ce^#fU<4HWd16pi9N8U~З<9EmaP$yCbk"o&L*迡AP3rF<f@-?Uc7[&֑|@9ß!gaaK{>P^CsWay6JbbS b55W\'.U ZSpkdz Pd|s^6z/Ll#iik:6x dhEnot yBf??q3&NM% {Fج+jD]"Dq mb'ky!✭' nuVt;BM4CSz%Aa~ qJ_ew5W_'z;qHTD +Uz$yT#\f` >l]Z " ̱+6fNKUINT+ȧw0oT'o?΂b_U8^иP;ܦ{-βbnHj:Y} ~ /b)dI8]0~و1H3̌5fEl*HVƏ@Yb1fV8WN_ߓ^qbRr\ߥ0+Xxf $ .j @TIU[Uiy!G(/lmcscV A%㝄%sCH5{BkM%IH3ӻs[|eITG8)Q's)NElLs'zZX X^0$F jO!1闵AF6`aRsvI,qs$Vmy\P]g)npH5 n`W^\_z!>iS$%Hj@_WIS abѡ\Z%fY5zha[%,jb+Wru` pF$aZo~oa" FJNg٪mVН='BBg59 K0 MDR sֶvOIjϻ2`9aZk[b:ꎫ{(pa 0w!O{&-%hwgk¼ xQ^ȅ ƭ(6u2ocVTTV&j.*Cr`ƱIޚ:gYZ0d624df132aa2e54b02fa619fa707a1b424b9830 1a86f6a3b396ab0884e547cbf7f0341720fa4d91 1f914a20941c9451186640186f261938503d3a99 383dee4bb60284cc7229af5017def9c12378879e 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 63653a06c622b62550a9359272dc27fd0e429591 63e2e07a30a5833fdcd044dce8cff84e1d8e8f8d 66381306ad3c84f7a1260dcd07d9b313db533b29 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 8dd70fa76e1c109c39acbd6e1dfe1f80378b66b1 973d6bd96dc9037f8676681fb869d6ae83013aac a50f5c6f8cd93b92dc5a579cb228491f4eec55f9 aac7b33fdf9d53be7ea5e61aba20040f06cdfea4 e4062dbff49bff70b5abfec0aceeca2ef0d53a85 fc14b380460bf11dc06b40c8b7782dd9dfd25e2d19db22422d072d942dca4f79a146f700713ec562 0ce727582e1fcdc0d95ceb5a898ac2c38b5af35b