SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 //F#l4 ]w Knot_Theory:threads=2elapsed=94.072cpu=164.124gc=6.560factor=1.747zXZִF! E]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zY쯻޵FEsj38&w!I n*\Ra1)=Eq })eF]DmzX;&_zpu{Zm1jv:ɊbzPwٚ,&WG[S<{ةk]sQh ]ܓK`ŨwL$Q!νӜ]z5q @"{LBu4od`$,{[GbpP)?J}zPݳKocGJtKi+Z)Me )|kD?9?@%$]7̹3f9?ITh&= we 3/$q<^~l.35&pU@GUGbuZ&s :xHV,VM7SoG.AY(ܡ9H=Wt?>R.p2p髻xe.A[?dSY2|ԃ;|`"DqZ <J.Lǯi1!(S)ӄnAN D+zne1pf(},C0ʌ)&+feUk]Qx` ۟4Ub/&ZtL>sec dhVФ̹S kOJ sC?~{, t28-j& B!Ӻ(}jEo@rzƓsG'/ VD޺"{tԩp>R i`wILg? +'aѴn7H3MHdz)V!3*)9FG#47G" %a;1p~<2sf]o} GUnBc0 T[l"9핽;. (2 -] p3w^ȴVȌNZy&THlj(~ExI aPABi>7PpU)g 1Y`kj0$S:["[;0&X1!lGq=&jJ#vy 'b始6f<-l*sr>^eيxqibxD)dW*$,/^ [yo_u-*M&9F]˳bEKDvJBo?EQ䜄[ &&A&" x>Ʊ/_&sCu:! b 4 Gnk؂1"&`F0JKF)v53avʠ @M 9SM{+ۚi` ]pKO?a!ͻ@ nh?![9[öRՇAٍo ϊ)zU 팽|B0m ׋/gYZ7zXZִF! n]ŗXiɟ1&ގ\-/l9TRLiJ>rR %և e&cOidh:yπ4?/àvZUP|23vq\E*dhxA޿mHRD^dU]a}K`[ hڡgQתfڙ'lDD_k3_Xգ?1jnm YV$dtb&YV6 օu*8ǜhMV$mCZHl /܂2\!4<8f1H?ONWxkzp FgYZ7zXZִF! :Q]ŗXi%>g1bol͵ƊV'ϰ!!.ٳޮ@ rt[u<6;! Fwm f[Y;%8w!*RZFzؓq h`pXr+s*W$i\*!_ _#˙B@`f|n|Sh+NHuNwi^ıdᜁW٤\P`gFD>mipkP >YHmL\*aTjRuf2>dTA&GP_xK!qb]IFpk0 ioPlI7H>[ u0#p.MRUͬwj.2)Lᶾ4w]QsZ{qw@yn+- TBLF"*w8.SGƷ [Ό|L f2U?_np餼6(64sZGlVmS5."]z_8?Bn)9^K7.+9?{=2e髡d|/<w琬L9"-yF-h0?- "B3 2 hRN6nHZc(Lc!'}GER1.1GK 5fcI 7o# r]DR2]!Kzod3`8_I!{f;l>v9!:"cN$CF<=?ϪUʡ-Qp;mO=m]ya 7dĿ9td=SEQRlNSb l+>JʆvR2Q# ]H~zY$]ew+q#1pxgR}RҀ(zC[?$Tp~?ZH 2Q`Ypp-g4ZheRt;Ó3`D!\t ؃b#!`4A$yA{KQ8!QT*wӊ}>úc Pnr4I X={!91"Sæ+Qu@.]eS,j4ɦSg!C⧭VBw*Ԡy `Eq7Y> :.kϑ&/,ET|2*!c%:!Po'Od8u# db`] "C%-P}RL8O(s%yK)ì `?ÑJǤuߪ|[ؑeJw&mck}L9ik/Yv?`-6Rہz|#.j"wğk0_5EHu]xH! R.{@xJY7D`"fP^%0Iv\qvdGX[DiXK.-<:rTm~|] GR莩(v,F~m~:7e[{9/)TEI HVv,iSzH"j$ 30P}P%9Nw>I)Ė4"WQ!FwΗ{E tk`Nowf7*6g`Z1K26٫@UsuQŸ n#] # Knot_Theory  Ni$XXPb6Ƽ$1btCg*%k7qQcNT}wOUI&,HaGw*D p&Ieh X_k{,5dߚ@KOꗛ<$,2Sy5)ߍ,I'+o,mG$) g И;6k6f7}ms`+ktb~p"kq1+gUj!1I~$? ?%<_X>H%mW77IgZX Ԑ׊ vAtcUKIaG'>tLcݣ]P*` [|(]aߔ_J悀uQs!?N dMݮLjY~8a&u vMh#9`SZ2 8gevf"B8~vqK9z&#y[۶a%u/GAsKwE2޷,nBF8HxLaޮi(͛ ] a2d/۶ 2Ac`8N5icnxM{`M=go3+i/ 9V ҨA@4Eî*xV*uԢ~%Uی\X\:4ؑNs}JX*=@pB>JK(o1Iz x\&$18=Uxq⳸ h#!Zw yy;bў;_HTky 7$)bx&j\~L!Fv9a`"*Ϲ+WiޫOG硦;$f}+?%9fe[G!sYok0\r/ Q }8VbB8>ZTcmڱTc& \=8,Svt8p\+S<-1n>ZBQOj7u $f4d(\0jh"D{jsuSŧ)u.{_!uUYYӍ/sc͍+d+{h;vquLKtIw@nJO>.EX &Gtnb6?Ϯ! @=M8 haf%2J.sF_u_YLs[1aGAZYIPof"Uy` 0&l dխ/;aϽr+B^\RaDպ ?r!z1x%Fz(8ި(, wPM3Q|/ݹ/CK SkZ-?/bthSEFŮ1s.} ;W a3˛5~Y+_ͤsF ; '<zme㊣Ed̯s'7N"KEžvƦv^>pGy( |)r{}[|?\v;oL6>qdq@#qhU+wmJO\w":w#8J& .1<{7=Ѽ ʈ-E0 KL'=ҤY}\%MB`v~0Fv\r jV4{`GA]u W߻>]xc+ ݮLlhO L\#S ;z>1Xsɿ#MLW?"vTgf놥0.b Hnr"g%y0E xwZʟq36݇>q}WIs죮kQhUɑGGQLE5{ !ECQ %G~ _Aپ5-` t[SޖЇ?2w!av(;9._A̘O1>M Rl^ҦS7p"NAqTʎ .7ߏzl>6B\j')TdR7G :yH8|WN~H|N+b GS5\F0y|)[eȪQK!ل8[v4dwk5Of0>:JHǹu/5g0TX 5*]٨um0GќG v`dYYZ5X9F 3 *ALG4""EF^j