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 [[#ll ]w Knot_Theory:threads=2elapsed=92.161cpu=166.572gc=6.884factor=1.817zXZִF! E]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zYr?~qY tNQޥԏe6Z?xIj"`# L"#?+e2}v P$3kjH>'M#" $¶Lݏ/Hz&T _:M SkM&>Խ[njgv.#'=&WOꈰYw,T Ц>{ Wjz)1{*uLc&^ɭnJ/Uf0CJ$D*lf'>jt=MTu8Y`a^ߣs+rQ"9+p'3] "ШfVHt Pqp GQoI&'iGGMPsn2Ќ*?NRPwUvH9/e': _'>J}=kFMnUޤ#R1U+̕Rͪߍý@nJ_%/Ro'\CLi,9+]RȰÖ x6?=8Ծ(~>J5'ztv,nD@s];!w2re 1&LDl)DƗ" 鹲W7# uQIWηR=u/ϕ{\?nNn{n^--8IC:\b)(8H0IFY$麉=<薙Ց S:dM^Kq~d N,\Njz `TaTH,+frN pp_cb qeCxV&,yc'Z 6~I`vcC;"aQ, TdP%g֟[ Ә@jN-AUO+TFE7*ෛךA-cKyA)t=SHqgGnɜP1I7uHG?q<0IGT*u&6F@Kn>գҸ  r foɡ >\z^\M&b\Z degYZ7zXZִF! m]ŗXiɟ1&Y =]@X4JsjO{dwso1]uءqCgzίס& ШGo<ť, z~g`xSrn]ӣ77vl<\J?-?Jw8+_ySd[41 dec$ ~T bv$eC?<{Cp2;i 5/sYg3Dn ^gǒLjK _Z0Xfl~͝(BL_x67ܳ#ŝ둈vzou*dxipmF]ŋA&{ۅc l~TgYZ7zXZִF! @]ŗXi%>g>t3LQf/E^$# -HV12W"2CE# 3]ߪGbDu&v44NFs@ +SQAK2 R:ƈ[]X8uoQ>A7&%aDZ#Z' O͞|'BmaVV2(/ta ;ވƒ6BJg7w!(O䛷^,mS_齢/nwS,y7:'E>0}զ|ᮙ_i#5F-7 F5ӧSF6|NC)FИ2+(rv-i/ن6=JqyɄp%M.%5*aUK5`j2tB ^d2ٟSolK5wm6#2lz4pKSjA,P˞9k;jjH-2ҿWF) :4XbFi2E˗=bE7TmzI 2(-V5 v`Wefg;1jPbK,4hmx蟀JJSY_U+\N7[ u>+L ذ$bwN{GR?3B?ٰ Ɔ75|5HЕSX*TOg%ʟp 喲 J#O@>3TNJYSssiڔ=bKgO;s3]ʒہ)7TC.~f nF\,+L? ^ I\jh>`$e訆; |etޠQBY]`~VwFMAI=\@IP(\xHB1a+cr1|O^A}.M @ \C |!b86-ԹN_CQ~'C V=!z\ :DJk#'pzq58&1MyS c\# -[\\Qäk.}݁Q1󫸏 @9{N^ 7)FNGkT%XΨ Z" gq@B|9 NKO^ď⤜SD,#&;Iyf ۵FbhnLtNĹ30DΈ {5,WԱW i~jۮ7#x[m/?I^!N3I9J?1wXII͖# Л)[4>Nf>xF 7_pSQ:Ǩr"6V>[)I&&!pC(JR6ݸ$հf'[.CʨoHaORZ%Y?38KkbODQge*@[nvZtER,/'T6+,(?h<{t &d7\֎m1mVvhDYDz¤>V;'ļ~ F0yກxͮܝ+NUv5 ՠ|ТԲ#~5o@[xۣvlP(s-9(azBs@ZY@411$À!}=ImZJvNq'*nGDxO\Qzj_LV[-l*)~EjDsg6$}c }{K8z=G2JrCV|<(*A7]Ec /RC`dnT|n=Q}~3[z@DB5VmW~7y-V7KEsoe#ku7)wUvY*)ގ;F+"gweꆩY 9V"Yqn.@5|l_u#(YhV4~p9xukwYo=.UylCstvAnmvL 7lxwŐՏB!j.7y6"`d_3yZٱq;e"MD1$f0ѡ/s6/ð5tL\o]B쒎^Onr 7aYװ4ZjF "Wf2ڝ\v^gQSe4o S<럝/[a[nug|TOE –jBkk?"(9.M1 Lmy#P搬zSrJâ^JZ\zg\70]1߈o rUx]B%Q"Hw)f/ߧ@tcIz YY>8QyڃMi㟿`+pфe.l#$ۨo*Z2 ]b_ hDQXvy k]YJv`ePf LYկ]A4rWORHg.&ʾHʣ6V2=Kd&A!A) t6ct%Q%OOoX\Ƞ PD:̧E !U 4@ZGhV25^/WuB>HX=w`j(.=`S8IǿG!-صkHO! cGt HӬ﭂]u $Hb+oh$xsHu&%|drW b(F`k)py`[웁xt_Z@$uI$طb&0>)ǝR\%*>Lby獻tTx#sgr@ռWIR Z׾e@W\ yIAbSğXS͚X*=SMw%1nV(n\C^ _4vf(c WL^3#K1]v~gGmTi VӞ@#=&>05C+)>NP0'W ׊DI}ϩ?I 4KMN-?#@ʉd1.{WNqJ@s_$0 D}ӗ#N\΋p(-De tF=;-q:bg BGZZ|r ܄4f'eim>F@ZOFw*cN vmcȬ6/j#wi.훑rGKf:5Or=aL[E8LEbafTuʕO9-p,#Z@ёlmLɏ Gq"*q!2y5]%B]j=;5{fu24ɮ ߌoIwfvVI-M&K3RM3>ly~ QA}0 h { 2_S_n} %rn k