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 ^#dl ]w Knot_Theory:threads=2elapsed=93.046cpu=164.412gc=6.968factor=1.777zXZִF! G]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zY쯻";XLo4x/`tH>d7OȎ d |+&;?%$l3J`pF]͈`lxhj8 ~< (Q=gDobȀ-=.C_o3-ӳr # Knot_Theory  dcH46Z'4%-=XE-px~XZ@E=B~9a-S5i2>zG6nO( )Wc O$֖"̭ 1Gj:4d#m38)+*6 kGklۓ⓸'E][4c8Cgv64;dd.|!dFL~SyC S } :t&wE;0i!ۼ_lGT& =^㰆E>^$_2WSs Y ZB,ZŐCԎQxJ @x5 Q,0V)߀0,.XץPz0_Q;HaLMf T+rA;[* vgKۓ/}j#0^pg!EU-FtӘC?JlД['Zd9#8.ɝ%:VB_tDv2_jE3xjŀWkc[Mu:j)m|*E,񔔃=!Gv{¨'x,^WՉS|; 1;#\F"Bmj_>E}_ >;M>xj𨋑(x uĽA|}&l ph+V g5ҧ_{tP). O u! '!;bfrO|DǠh3\9BN!>@uXkDKw#|C/q+ kK'San󺘼Lh98zwј9 p:9cת`{כ, X}Я3{; 4ZlG `,ul9*grD J??r( 8uozU5%^AabhIT9I?Jubለ;Qү{P lї!dt E? 0L$A$:~D^Ʀˡ`e y,]Oi<9juT >hՍP&a5|t!/FVt+v0\(+&ޚol9\;.w# JK/?\]tɄњ)S?a?y&M ~^vN7Ip@cguz1s'Y*-$N=WV,U~"^<HC3 0Xm].*PW0@*?*hهgˮJh{ac$Q Ix;Q]4-ec}\A30<.dg@oE?sJ$r 2Sokj).qJ,[<@ R#96gkM FgYZ7zXZִF! jF]ŗXi%>gN sƵ10|tm@P Anu}>$Saޛ&^nFJxReajM01Âbt n&L[,dCUi##H dwyW|{2~1/*layn8 A XV ,{c<77+(֒MG2.z>=~${V3Ԇ޵ޥ6YmGubU[H^n;@P. Rdh .@T- f=%NP۩~Tb&v]`fW 6rD7o'TdKZh:kt[й#l`:(ɽPL4f "3J̿_.0M|ɲ\_:_:CRtч|[QD HD4Ad-7*@F9 )CRh @H?NMyWM\l^ 6ƆaQ6>XS+rp4&;e1 c-<)s=U0 jT|}F&bT#D͛ǣ[V=*U#U ULU}@\oF `,A5鑚RX(7;TO.P~yN udi]9:gldwYW h)uzrj&W)ooNGu# QUa3g>OC$=+*usnV&=y6g!Ҽk:JW!tTI"*7كڀZq=Q<^7e-hQ<]J{\HQU+A% c컝 ҶZJv‰G(LJ.zWU"B U[_g_0N*Ajtۂ;<t76^mNFZOP{ eJ ZN/JAOqU>3@߽0f^HJ@'ܵ/)=2fdHpdꎽ‹} Z]~,M90e!/ʹY_qQ ;6Af7Z+)k+^@o}IFE ~(iqwG1By͞al!'7×x$ N'c/Lk7M~ºO:[!ntm΄@5]Q ֈ%"^$>9GBhyQD6J:EIb6寺 .\d"Rrb>fy^_cU=4Ջځ"ET Vln˭ ”|];(~SB'tҟ'T+m/\X|pyi4h׿jlo7Z6^ /@2wD,)6 5SmqgQT 6..*EG*_#R5j.0Q&JC1Br㠝!8u&J2Қ3Y$)6!:%{ lWp6 97ArZL1z`FR P'7Հv>7'UY^#oY17{+k{-.i?Wzi&90#[?H'Ä :Zec07C~FVJ,{f/4/aD*Hj3 On6"'o A9j=.[Q/Sy?O2!L =鹉߮.^ynR^xl0NQϩ1-Yr HA=75f]B'hȖmOF4Gu-ԵH<m?i ?NeizjA՜SIU#ǑkuB(h/SC;2H7ѷ0AQpTLPh[y\$۩D P39M?Fx6~,K< a\̢_;dmf'9H03ĶB^O=pPHPVZ^iRRwwn2|02k:Y8B#7!?WY WMqx.dzu¯u&jSC '(RTB$h͕:MwLc(jN]X?g{|OCZ`-IsC%eWϕ4K9E< nOhaYO)W5s1vWkO\}dn$AGА̙T6/H( _$͆(Q֟J|C-~8>Ӥ)v+ɶFH-5A 1FO9S|ﴡn8if_jHاTo/oxj/JU.0J|xZI8s7@i\6JW3ZpkrS!Da<'so|SwGl79D1/YSK 3Ꞣ ǒz>i؜)EF>> Lm:CZF#oG[MqjI@%0" a-n&ޖ5_TYy]¥!ҙbȿjFGnoRS:l!%4yvӱ$!~-k?IQH)'|H'9]%WJ4֩;F 8> %YRQfyf ZzA7CEYU^ :[MtF }țz_6컌gk!di/M5 #/6aNj1id1  RДg{naTn3=>DH)+/XW:a6,E U8j`=,czv19L>!e 5#z.#nF@R?<~j`u*Ӈj{1gRq,椮huJ=ر~r^$kGm';{*dl)Ҧ[3^xzDz͢#yMdӜZ&|j*dي{?ekjp}&-Kʅ ^j7n;&6ik:ē^8~]r63PmE[/F3j&c]ū{5] \@pH k]V(tH 82 ^Gq{(: )y?"889Z-8UR停7t6OR[>WYO2M,cz}T /-߻ HS`ahKc,h ƞټ_J͖ixd*gYZc86ba752c0f51df3af83f24a33bf16d6f2573ddca70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff f333d7817be23f2d36f67236e7c336d44a33ff4c 1b5adb91936891edacbae1e1b9e846abd5ee369b f7991c6fbf630fe21e645166da98186f0621b536