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 0I `VkxEGCsi"r3],λTPE)͍)r}8|Z]ְ{L҉׿\&Ɛ V,q͐FVG甮DsCͳY^ǕZfyz,@:goUj'{̶ʧY:uaN)B(Dnn=%.mZWgMd2DBxuѦT}Ҿ3)50 v*KlZKtm" lX<2zU;G::vvO\t/L߻B    Word_Lib ЃzvF |vp#fMEd;\3/D|Β#sSBΫstAA6{9C S}Ȝ. \бf HP`Çk8п*+Wk E/[)3XJL 7WR!QK\ӊ!ndXV6%IB kV%?4ZEq,08K~d\p5xb/e$9Q3!{qfڦ@2\BV%`~ÏDrgLjkl*B L>r ;W-ЏNJ Z)qUgmXUOz[OKq*'mx7?WbH7F ¤]?fTj&˶M(tx'[% A- yQG#e'i~ RQxXGaը_ԍh ATФ~^<V S\c#.P0{?"l d#@ Xt-:v"2Æ[{BzJ˾̮CnHt|nC8 0bTi'(QVRMW09totۅj)`70]߃}Pjݺ3>l18a -4c޼`Ӧt,_Zm8Kdo"xWf\3˲C!/0Ixuoa_hFOZuw}.&<ƉXfcKd}Vʱ+uIyޙ (j H捔vhh 5 +S:Z86;vJ] :Y\[=29M R2F<*tm0]81 >YdY!1(t}wgrtCLj:WQi>]ׅ֠÷ǁ35gCt5`D%A_hɃ!Iȧ#Jљt@Y7_KVIkw f::"97iS(}Ok ^nCGkC  ͠)&tf(I&yL~$6֭JHF9(ڳH7hAꖋmzTdUF3w `DCi>x{ǝRAt0qiFEeݣ7Um2_&ֽ}+J*ڹƞZHMͷ"!X* ]J@E*[;8\h`C7*LtpRalFc9X=0 i|w%Y!GGJu9aBV'eP~'ٶ᱋H>@>4T2JN/0ׂoC~Cxv 0z2;VA0y'[ޢ.rSXЂlDXźt3(@ ql ?ĦS&3WrX胗pkU+)v;`M"b0yAU7ڼk%+ߜs`}e/ ͙@Zg:+r۠)֠ oEIJz~ހ{36q1CE bXv -6iF9ܶuG+/斝JpTcg]Ir'.me/*qkc #M Fmf̋R( 8fYK)f5_0n}aQt$i=%<̲mߤISFѢ6;?PDC/K ͟#6W{pg;4GO:9'K{#>.Q^)xUZ~6TUPn ܗ+`dNIp ܃}sGwܴi(1AER2NvL67uYc7UKR.˭ >3Ӝp : Ho- yo9Ka&:f< 965]ezW0qyئe#OaI` ɕCo4Pd'TIDQnm9C,+P@mUh{ >5p}Ȁjl2>Cv,0sxZ- .Ţ/KI:ϰ\xcRZmTmWja ׫Q`#D[{/??E@R4w]t]o4H\ƍrL72g,4!y(\0ڟt`K6l)7NzIz@|KJ`OtkfՏ͆jMYJaZ|H-Vw֢ _[:>#-W-u3f=&/C7^1߈5YvȈV_<(- X XedFFש!2[\_mm.Z,Il}^O{쪮 /~'t \LxMak [䐖& F E:jԜ-x S!cUi#i޺ӓ ,^¯w$XȕKZu8?Nޙ=c~JkTRnӗ{P 濴ZX@q\Pī, Pv˾pb<\-(nJ%-zhTq7ZRF%Nј ^,Li%Xu{'l8y m{h^(MyZĝ ,HPw-z QpOfӭ+g۰~E^Z^m`9~4s<\D'=Ni(g ~]͹M̆P ҕ0$XbZ!ςc(8s,x(`]>fq@-W[6}7tNJEҖޙNlv#]1/޻'uΨ=xRfQ;;Pi#t2ׅ|㑻)QTJXNss^&TR:~%$H-]gYZ7zXZִF! E]ŗXi% ,xaL+4 lUrG5Zd9xr+>Lm[ }=u7`6sJZdnf _yޙ\Ag%:oMBv U5xTƝ\7O gQ%j)}r5*6<{n͜nmG4=?6^*CSl,IYX{ruݘaq6J$ʸpdp?~Lׇf4AhEL]ôeD6`ߥ\ 3sY,i,@ù&X`/GvLfx,⬓)(x靆fI/9ȯ| f.$HDu+6#P5h5s=ְ4StlgE"UyVGmj/ZX)I]60"u Nqew3y'܅lf5~W*=cr8x_]ƥak\{6 ssRExbVRA~}6h3+I'uMQ ޥǵ)vS2R2 <6LjSj?=j$ui3E Beԗ?)MO~, |As*ɾbKHOғHo^nG%j}'Eꊟ:z[Lհԯ'Xf9+t6z,s_j*40=tpu\C8_: < qDHf^ጇ@,0n42B0䪨W;>Բzv:eU%Y)jIXirs֖*I1qlҗ^WӚcʼ- k5h9 "IgBV)nLUzغvc_9U#eI9 _@S?܃(zo?XȤɾm\ΨXzUH+D/pYAG7q %`0T"Th Y6vj<2jz݅F 0\{d:F&n+@K-B]h@wͲ[u?2K!!Fٹ|w^fAII?sH]z%6GheK+_$DbUg3+(Yd|T g2/8]|66'cS>E{WD,xZmp#3 5̻Y O.s Xid2z^PڵBVVt5Pdz"D—WD,Dՠ4t!A4a=Aۿ}^bvZ5߮CP6Ŗ<΍_6T%*Dx9'5iALj *$*FNݠ3k_X\^{ m|E!Ė~ L=H.3Ë+=prĶ. VQ2i ~]Q\bӾq+߉e*ʞdj˔'G P\׶#JB;1 7S,Nqܧ%ib><6(j(֖8*N4gY#\P&!g+_7n{ 1%.XK8:$w]9!#![%v휈t]+B`  ^'y@1Pn+vBCQT$"2Y8ÕTlc3㓺Wq砃I M2"LT[\H;KfyYZon8v2WKWls:ԬY1=Jgh7˦X+;}`fpGV6'Vr@l4_x ?X߳oطT -3c朻sh5i/ D?6iY<,)5[Krh%I[;HN$5DlȆ F6H|ZyĶ9?B0x3T׹bz"ҬNٻ[2@.~Dsw48JܽN*R07Gq")FB.q$X4,TU$g3XI@@/f ?Ufd#)Zfq-I 9jS\LK;='=9Ũvjl毩\wsV]I nfPj>i(⩅*veYԼwU Ӿ9Uz t5Y[{ʣ/TOdgiX7 Jt ƒ8C, n/60vnr)4̞8sG7;8)-$& FR! Y i8-\ ٞCLI='u^hvQȋx"^ ;[]*0p2U<"Ž᜗Ef` sڙjpb8cP%uѓ&J/+kȳ~S<[0%_{WIQڤ)zxW3RL5Ђ WTv m'dnʹwh|Qt>no}*Af бj. mN嶽oF~.c qW I*kcNQ|[N}Zg{9eDV?ZY'mjLd Js4r1*4ѱk9B$N U}$:EulslG+Kښ弸:sZͧ XԐ*G%aOoTzzhw9;FL1ӝt㛓B}!K_T⚗.)bGi2Uы찏*gYZ00061e4601716a25cfa8f61f253481bfd5760681 026f036d1e50a5fc0a49186e01329ceef5386dff 05a3c93a72423353e3bdcc126c2d68e831008eb7 1ec3cfed52d239d54613eb7577f3b4a35b42701d 2315689993f4970a69249643212790a430eca7eb 2d4eafc74c6b9a723cabb48511a1a0822374624c 32a8f05c33f17cec15254e8a0c8d20b875d4450e 3fe5941934893b5422165e490a489238302826c5 4ed99af14d931f56a78cd23eb4da955a5dd89eb6 5d7f7b8b7fa950ca0c15b10590f3e413daf1e2dd 5f0797493503d8a4a2365f9c8eec899c63baefe7 6bca5681a757124a0e939b73d0524607ad137efa 8ba9cb3e0ea3c32616db7ee2b8f0a6cfa5ba8b76 8c46585ef52f73988ec2c3c3368a203f61ad1179 9386b38d49374085e55202df2dfb8a71b2e51c30 a350dfa1bca057c78391f1e6159ffc886086be40 adfa4ad3b0342d8d3520444498df1eb0cd75dc78 b7f9df5c2e72fcaa9a6c7d24ec469bb00ddcd1e6 caaf5c421b79d41d5980c2f71cfa96bb35c6965c dc2d3f170e37c5acd80b212e16300ce24e1565a4 f48d1da742ae6b8ea680cbce305b2348388cf22b70d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 494428e835ce6d6e5843b9b7cfedf784817dd0914a8ef03fe619aa9f0c52262eb0c6cd788597b240