SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 o#]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,j { Ͳ8Dc|DJZL[6iu؅;]-RYj9ꙷ"ShqgaI#C'Dh$9y##߫N~pZA0,Q[~b8' L>=j^v- *j[[~x!?!7e. fC`3Uc$1;Q E"?u$ߘS]L*&k G#Ԕ|z::)q".[<>`;÷_|c EJ{IjgITj˗#<pz|~\uV`c%TbL-0B4]fσ#MJς5de@x l2DzB!*#va,uy !'Y©vßXhCO%,ٞeY!A;6dppBYN/?Wgoź-;u˭;y.Y"N>+ u ЖVyο\m۞BZ?,VY_Sn0 SX'|@d# s ؗw%e@c7 oRCjܡAV#Ȍ sɍȎU͌3: u9ۗΎհG %rřel4Jd$}=@[ D.;#%V5c).HWbJx| i :EY vv[\4ý%cUh@dtr1֗PrY\ (b1M^rEF4aDmtټ09GӽXitE"7){s ֍wK Ly]$~TZBfLEBsc4`4M3ΦPm9+%qgazV<},Y=` <.2y|eU]_JFsm 4c,t1$ϷJ bPR%BSM'@b߶/vFr[m~ƗIF=YkgQ9W[v,BK>)l1d@$%dD:WA3lS\3"-))+RPI .`suSl& iT ]UlF3bPlŐ\nΪUE q0@ma})k'r;H}mBwR/ZXR)SUuAGx%~b^D{=(׿,|9q̍O)^QjtGY+䯉WSe4Vc Z`ɻ&D}F+zn$xH5ғ&-U/+;=k.z#1lBbj}jT;+m:n#TbR!w(۲%ޝPhus M T?nWr۞ )`&;ucchEZoy⅞pt`xte:+m뵞#~0 ͽȾ r[ڌ_­ 6{x4dx8p/O\2S%grZ:AoO[/I+%ݜHחsJs<z+!n i7=s䂅<.rZ#Nm>eK]4*BL@PG8"-}Z0!eq(!v~pZL<7G1 {.~&Е 9ƓJ~ϸA'h}SHcG8j$K,Փ[]q0S+ +w<6&mŎi>'i::mPoIkh_`\uC[/1U%yGӔK~A0E|\*y-=F4v]i)lb/VBQA?bo>ʌQ=}V%eav;`2(?:E[WދDnCffq[Q ;>nZց{AlrQs snzMao6|p">G-VcœOgUgnP G=AO7а4>R |ЋGp 񟛺җ8\ V+m 0@VY v==_F o:0^KHp4 xql gOFOeHac&ۜCX_%{a#$1#z\ƺT`ԡZ$xKUiSBefv+UwDCX9<*[Jl1u٢cy)_ͬ ZS +htgUT/Y(xM':S[|h(:@@NM|㛺k]PYUsgYZ7zXZִF! ]ŗXiɟ1?ߟt;9BP2CZz眭5 zw9k @4m5~LOS``׆l13(Sʞc^_P 3yVƧц}2R;@)[lש4\!?^!k9|8WWM;鱖G/3:vyWkYh tصsq{ذwbUў^*q>8k#SsM֔y 'Ih]?9±8)d ^|(^Qrnu(7`A.ב\p&pkN&OcSeƱKFe*vЖbJb-wNڶf D.NZڟ)`Vc\ O&'*_*/h$.DžPnW\ p>!Ȓ$fܱwdް鰪clO͌a?ràf(5rylLbS^'װ㞫gYZ7zXZִF! ]ŗXi%L 0l(d㐳L?~xAM.NGGx`?ho3%C1Kk  lTH\+%i;w-6 IVعN 5rC˩^q]:0p>9ik)HOhA{ ?I&kYbWuQ8BD_gM2Pel?R1"m-J% [ i1-K=|~W&QxrvJxѬo%Piݱ}NƾAN:Ke%G㖑"k$?xՀӀѾc 2wG;2B7+UTЯ|} JQ|.ϼ{e£HW]'H)w;Jb6h͉+f~~`̶11u:G$t Qa';^UdU6Fcwc=Lo3L>v?S= Kcڂ;*RXb^Ra8/dmD%+xD`Qgo2oO?T3$\Jpwi>' "--./'B i|*Vxi>?[y屚zA^:* ,Wݮ՟%pq 91'l7=YS3Jl+68 3]5jbz|MG,̵(/䀡Ud*;u=R `KU =1;E&8%H1=\o8T"|Qஜ7tHJ]%$B0 Bw Sn4-SSM·>?Ěk9$r3Nbi.<8a(ᑎ<#i}R+C0юo')}0^vʒ+?=Nv<:Wa=S,ŃT DjOұ42ں9G50(WxP!=N!β)JGyӽ3LDAҼmdW ֗ri| A:ag].D\Bln?YPf=ޯYĊs$ 2@mrS~N6LwZXP]`mpj}5nX%F-f,^xgo+״|pU^#fҨx{= X -ke<ÿymU0.\׫|g`OAY.`?3K~i2*I'DM*^%\RR*ʎ[z,Ѧ/2-g@q8}AD'6M@Jc? -g:B\{\ N*;{s¶/o rd l5x+fl{G[NW<adBѠkI]:. |[.;/(F:P LŸMm75X|Lo_T/ m,)h$֑OM(X1MسѣBh[uJx!HpܔOwB*,@ήT>!?OU+;DmThy!ߊ@VO V hw𫛥 4 Q|&;[_y>zk9M6/k@9|,iGn7 L9}$Lӻ%1t~+sZや&XբM7)mVFa0dj6EDhG <63<1 hj)!bbLasYo6^OmMz!E rשn h|weY #i]~=2/~'U) P#LWКGT'm qW=~; 8ݟ wk7LW XТNz@hҘNN zd9K@ñMtDT" p<$~8#y L@nato w'kIɐKFMk7rc֛ כQ"yKv$OhVj<ѹUǝ1pj/ M{ά`N[6\t*-/n!B g!Jɩ{<.]ĖfL!he2JKvMtU )U&]ka[22I;\OfjQ>U1ne}'XʦHvl6oAKtIKi\iޅ΋r^-4\&ʰߝq@5I/j6;S#tZ`k~:duKVMt $K6-Ko2 [zوFX6Y'dWQ!HV'HvVQzVO]BOm;Љ|}t—WBu:_ڣ6tu R0F0u+Pl:jW)9wJ#G#Ӱt23m56p>?!Ln7r5\eOƑx6CQM3s8uiiaߔٻbl]-^BTPp+gע@  4"^2f.l#Ysf @2wS6-%_ziq΢/ɳ4N0H6 Yf~xd丼O#t;5--8݂`OJ*gV'|Ϗ FYmXhWY'pFH$\fs=\U1{ B3cx~\N;nmb;tpIRfe9P9ݫ^UTIoȠ3?D7j˜/?MeB5"҃{CMr($}&Fpt톬jwZUپ!%fm~[,~`G}?>DZ^ABR*R1ӿ&L0s:aqJ7@XgcF)y tyK/*Bk CSmQN>Ԙ<ȹ?@(ȲnU( k,/^Gros?gV&JzeĂ糀9ƉoSqr2XvtBߟR~{ +35Y醥MOL=aXrP#{D3@cHrM'd&k Md"̌a0K":- x;tpYT{zH5bHW;6qY^ @m` LAL7:l"(e$>V(뗘T3;(|HM\?tAMRS{A1) 1nKo3I&U^ZJM-` y WFɡG;ا7FZe20V˺|_-+;eo`ŋ;9 +m@p0 e+~y+ַ3rd,3|IQnC'Oyhj^E1Zr!u+xF:v0)38, pmJag' 3("ھ U^&wRFYՙ>-!Ց^&ljXqbțş XoUдN3̇?wƩM_b3i S2)^iajwyɩxV.N0:Ӗ;dtTXRDow:ǚxh5kt}/ެKYe/ha0-% P03@b@)_4~Sjn16k0^3dEQ%iҫܯMu/#sTqP 5aAl]w̧w Ίd1M0S5Ѐo2NuYFRopB5Ho;`<+.f^)7 ?c,,HvMߢ,vlSYA3^r6|쟄;؄~<7m FO`-@ Ov-˲9v_2eO/)Wl}&sԦFNZ|׊Ş nsNa*-r*4W©i!tǠ{DDqx4$6UR\4EW~m; W+Zݯ 0ѕvh•Y2ͱb nBLmgaAJ^O/k@˽aeQo\0dXۂk&/ *y.G23Mi& '*0gNBwƺ2=붹xĿ i N2dR9%}s d7y9x2`51n 1rq =2 HqVTZ̽A@LOWF8s,X}Frd0l$eX QYc>c"+,.A Z~*Y$ma)ÖBF8pw'STd= ,Ȍ݄FL pDxp~>7}q%i6%F*mF~t:m^o+~t}S+TـNWHƒn.4S&}M(_pSHQ|͑.Q_ݷZmAuAKeBMRaױ.GEh:Ӌ-: -ZݻleέD2YۘVOe~v *P*G,۠%fjm.oǡ[NX1 gYZbb95fb6c49c2b0b56a158d0bc5baadc4f9c8a0ead3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3