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 c#14aUV#/|) jUe!Hpcv`8/wyis)x! /IK^U;󛙽~ KFئlJ[۫UD~ʮ_cZXF˾طr\}o,Mr>C27»6tTT$7Lx8 Q*R~g! r0 UYy32@xV7v'Ew džl@S|̈́8dd,2?^eEw=H` -wM b<܄y}?oQS˝9},[*Pfo # Knot_Theory9<bS^M/ jۘs3xK9*QlIZ`.³5fBMT) + TRmAWjHUh]yURθW#u[2{f3CI)WTAϟ艀|aZKFdJ.֞2 77e(7M0ѱ\9)(ziHU/ yz l@yRC\RTΓ;Hu7?¹i$ZT' dʿenI8ldE}Ig6 &Sq'=./m'gF[Y"UmO[S +'$h0.)[?L[^y{%@Ĺzpt߽WV ^(efhSՌo{/v |AV<_;dA`(?IP& tȒS#t!3 :OyI;R@Dh˘Rfc?`XIJeEׇ ¾v:bK^v%0sʫ{]198O8p@c;-oybgcocFKJOB\lpjGסnzߌf5뤾zܗ={dߤɁ 3#BǬCrhr9# #띇fsW<655T~Eqw/1YKB!laOUh~:ĽCa+`$X58ivBߏRPsM>,}"cшtU'QN~B:f<г'Efp쑇JFZ+ i;Rdǒ~Et ;B\Zezl.7 W!yAQe~hw9Իe%:'<(stk55G [  ܈uo;YַҀFC(ɡ!LWi!"0| #o(P(5 y[1fTZ.Ĩ@RIiH>hhlڻRv;nWaۺ=kT pQ8ө9O"̥lK^퇝zRGOo)afw.Bϋ5'ճt(ƣ0z9!9g(MnoFȹ& ~Mˊ;2gVUeT"U!H/#b~AC{`kvLiJ*:./˿/>O' 8g lDPZFlpn J]z*%=zu S펏Ye\YǽMg0#yFUIfMb^x aO_Lo [\@ԚTHE9rQT_HJVad6sXMu#&ݤ#!] Ppoz< k3f0kTnUT!"F*=D9b/)uY~;,ҷ9qr\MʘGe;Kx2OX*wZ@dqh>udKh|_RyJOXnUդ:uTe q\ A% :O8.FOJ9N>#V@}bnL{z&o^?ird6TaQv %NhC[8Ѹ vgQB,#Hܮ2j׳R@ ,u*L{.dd=Bcn[AhJ* ^$yK4uN+>5 A鵄ŏ7 .NFϴmc*@r@ZkWE/"#h ,b2U8IƩ 7yK߅ ܟ$h?uSJzˇl6 ԲEڙD6Ux1Rxw&8c[׋dk\k q=-j}*@D^'t5[Դ6}-1i[@- ƵSUEO:qv) UFhV'+1Md"Xq;,^L6qU4~oE9jzwo,>ϝ1\xՒwvrƭ/4fH- r={( 5FB6gVe_!-ѣ9z1xR2yk/#n܉e[`__VJgG;^u=--6 BG"yrtB,IK T&똡4׬m:cUjĞO6#o8|`T@lc)331~ʄy7 xHt?2;SjaɀQD ZHLxB*T]0:]uRȚ~G^zӡk_}N*]*|SVgי%0J"rp =nK< X4IM?~rj*Y*T[3a@ѓr?c\$K#ivT [#kPSja&!\u?DoL>-e!9+ J[ɜ6(ha@3HI4Л n,["/'_k.7͘xK5^~][/9_=4t;'Gh^?4a↜"q=(Yyl^8 T 8af"KO[dWD>IN[umn!kfhӢԤ9\Q؀Fmhɕ6 @au.6TM ]M NXm lBp%HD^y ^DgKd_X [NG莳 vbhÏC\CwW aFFoy"hoG@=@ǿzo#}ǍG8MwӬx'2] :L[ĥŧ`qSBdg6yоP?8F SrE$~RMcߞ"Ku#~y?+ q0@vfqiguvdt94OHѢBQR@ȦouC}VAuŚ]( kT/9W&/BL۰{@}_P&l1ѡ㯇Řuf oťNJ,wq1E?@ևʀ_./'#apӐDe%S^^vr?EG(""QheaxhLF}g(o0CkH PWl]LB2PG դj'W C/=},<.á f.9;@n??c.&dqsG2@ 6$FS`*{;U !Bcл#杞{;rg;mAPƔrc H(*xC^ğ֘DS 78E{˭:YIc&C<1dGr')p C9)Bw9.pj)hQCoa#wI|66o3˯k&@'2Bij *3>èӏ@ꏆ,]4DQ!0;6&^b΃΁X"nR6x}sfd ^< TeZc'pGM_ lXHP+3s-0O{*[֭=݃ XyO}+zTInpbE#3MT~ QIŦuѪm,GM.fds(cZRw] rsP6@/ _#X.x:;~?LlGH [%Ӑn$|MbQ}m J6Ej=[45bLs EY/w5lZ4PI[]/hi+S/KW</3dIFuSo:hB;s^mUٖn#UdLTUM5ѫ]MKWW/o=z-tn7:,j53 NUu}>=̺ U!pA=딫P:W[ywcNH 9XoD_M@'ԝ?g;/߱gYZ7zXZִF! ]ŗXi%ٛ/'G\> Yll ]:1.OƙɓF>_Q GYntV\`(exgIn`2:j^W *\\\2Fwf\MX:Ρu֮}2&8 Cћ9VyJ5h2y83,Ѻ*T4/,| ;9}W,H'%jIQ3En ctm\ZJm4!u"ѧ:)ݷ"G~[ 21[lA}ǔ3Z_| bʲ[z'37c(2![%dJ5_"16%9RȻ4WjPOtDs1,?"+5IQ+& n7 6[}%I y)VEFHR@,E*犹bk%jccbOAnrK*`A^>qEĜS|_Fݓќc.41xOQ.ej$)n`3z0ww<ԕOT7D MvfF[,1 Ѐ5=O ͦl79;XƵZ֞vΈ+ZRM!BNLNTB <ó\4-_-vda+J?o| -fm =n_̗S#Zl h'B RGU] | ϨABeJwPBO~!% ;o/A@[oMU Yݵ`@?L^rpc@=r_``P8zTbEnI#6푡]ʜzI PJ1Ymv%7fߡwQam3U%"#E-(0z,;!#%g.:˾:6L^|]z2XGkIK#gŰD}+IŌR*%ТhZ@NsHt34/AD+"72Ty _K"tƷrFW-l_Ğh`%.;gM@QC\jgc^26lӺ8T&Sj'+GR,β W8L"]kĄ xLDGN%7#-R9~'l8wj?rjOh{s3v2%"otLoJci>T|jW9zE9'{aGCkQPlid- 뺥[[7c|˟RDcbΐ,!} Xx-Fh05n)I5T2 Qh<Hc=%];\nKU:o|nX3"Ag u.N5,(VXF'/gT]u<4GZ tf` #̋RrE+o R 7F"ЂgУʙ=,*%+f)b4g&,r[_doKGnB6U jZwgXGlwn5s|-nu5/x#p}ySW! >XxK@6= 3dޣ^&V'W6Fq\\4\%e4nCDxRM;+^LUNGLKr!<w m9im`8 G "f&%%x+Mo[dy[}Ȗ)eXSƀ9_J"%%) <8,8 [ Pz_wO'aknų_c^$.T4 Fo\)3XK e#s2{ Ȩۉܬ26P, meҫ5ZZTOXQsPV{a!!F(y( sPQRCY1頖g n|A+%qn֟N7h\⿑* Ea82ZJ("pua8D_(ܸt@K1w'7F 8eY8%leӶ*gE|?ݔxSBZӟe!.z5o 4x}k%v?;3N_C~\V<+p>C,^vicY^zsgzSCѯ(g6-eaܜ|tΩ[u@ȉFyx6dFWgčoXb*)iζ.eJ 1 fЍU8K¦TEcV`O#kp \1)8ˢ:ivUA(ϙ֜D ۥr!#lg!ނ%W yF7Yu*\=ݘO[`1wb|TCp|FKl@ "x;X|:>^).l@Vn Q*DTс`aU&vt? /l7 %4'*wj~-󢏫~+ m `(]Gk;(m3Y^l[{U?FbR~j 坠-r8+Xh8X>2 I'd@~W chEupGfX G|AD6D (k?9R`m,pScCb{D#6&|Cayfu YB1 V(;. r^ }Ȍ.|Fq౫G(U(X"upl/PgK*,v}S9nI&–?Z6kB\ī&+ %Xd(ZH?S{p[~圵N&#VE! d/&)(lDg#Ы2iN