SQLite format 3@ . BBh77otableisabelle_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#d ]w Knot_Theory:threads=2elapsed=77.599cpu=140.816gc=5.844factor=1.817zXZִF! G]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(p$_J3A0ݭrjoQ1:k5wdGT4E{I \3x֋5ݮ2E8s+Myoz0\؏7TOù* \u7`#TīoK((Yuċ(7Ϸ~?vcP+1l?x`]i==MDZxlo`5;D ˝;!eց{_3|[ɴr Xmz7;,cr^&x+bFd{P <#YdV1 $P%Che3BV6C20P3ޟl* <~zW»yXצ8-7͆` uşӫJЭ"z='M_.T#[[ɍ(Cݷ,??1aUbK|j~UY|}:q|jR JK"F@lIk 0Ӡ%?L͞΢VۍMbZml+3PKoOoq&6,Z@S0À9Q?QXJ}]S'!03q?e ܚ2;t\c,&'sԸCK{>Tfg&87 QjX.ZŤtlR/H#\W6G̾r TT5@8x`icy7 Yi#8Jb*V`~m' &L3N^Dk=/@\ Uaϒ]୓r:9eu ;rIbhQ!]yLVe[f(QH&"^%wV z) Lh P9J ;1d`T1 M`gPŎ~&=*"C<8%wFK8CBb=N'6_g.1 a[|t">ʉ(߬w:K;.C'bo2v1]/&mHCQJ}DNYX$LlЉ~6|ē.\L znZ,wo6ዹ."\= KUיنH~i˃֑]/?j+Лޕ3G!&v_(Dˀ{g'J2ߎx # ѧHB ɭ gYZ7zXZִF! ry]ŗXi%9#oe4u ɣJfJ:sFU166+@ύ BuG(<:UfobCEi-t9=фLRUU @xp+J5p+ #= *0A?&7lxcjMz?DfLAUҙaTQDXqzypy3ჷ{ 0ܜdG~b{&O rќ]Q@?HHEkس֔ڵi $JJȹ &"3 H"ݡ4f~'l06EɑCz@5M-~wpG) NDYVOQvk$͒; a ڃ9Kʅ{Ƒ~=T # Knot_TheoryKHPo8侅]_ TN;ϹBfqsHe80xeYPI6",ܧIź,7e[/d:sV h*6iGZjב[un빮&q2iȘ4a\e=vGՔ⻫L)H릌oAJ!̔E?jgA,(KCPnQ/5S?J1tKQjŚ$ Tt*fE3voR7 V0$x"UAK-)]*ܢOTƳ 1;'O)ֺ>~<2Zs[`GJ؛v@+Xa-ىdS;_G~qe9 HV,28##E 2,<@ 5.4gu!*nJDFx@ӳ`fQna5FRхIL<d$HD`䈠4@$}qlpnŌaәi!YFc ^2.X2e8.cVF? $sIδ.ޯ oW3 !f&6bO'A%Ç B04z_f=S v>vSH Y((7pqHL cd) \&f>{?c'4? }d~TY O|O ֓z5ްܹLGJUwcp- t|jW57* @ߐDWCIګRA<϶ꕄO}01dɴq 93K.S~rXBSf !N&1YLvGcjo?tq=;FX^ yC= ǽZpj|ʎ41f o'{|l958Hk:Ml{[ɎcC1$TTYzbP H'ι:Z߅E|u1Lm]}}ɍ%7iY5ٗ\aMuU H$m‚B mPs6Yhx~TrpZ ǥW{Y6/2^8(IEy ~tJIxnC=>^t ()i(._8]H\>cU rFb=ҺgcoCr \)-CZ.QLFp7>2=,L,.ŠPZ͸E1)| xѾmMw^Ɲ#wp@,̯SyR8z\h './ʠ6E|$"^[v?'2]f49Gy>%kNl2P{V,,ؓh,YLg^h]PMa)YyywOOX ^h9uE:a28(f ^ٟ>0mxѶ9~+fF1bUdWUTRrq\=g0M%;+7p+AwAɬ|/N+ͻ )q;j j ʥɋݚE/UV0q9|8ʧ4lE}0J+vՠk_mj<Y y0Pv+a,CLJx=3=3BFWv%ٗ۶MNxT.!Wq̹@j6EQrSbErb%"_WBL=]o YC JD# ص=4*DTCrpdѦR0DA-c7?{k(9B}]ł_&>h7k!C+$ Ftr M&ZƟ;ix `o9u8?[ TCvPnf c~-gҍ+qˬìumdO}s⋯'OJ^KBJ-|=MT65T1p9pm`Du6C%ř\jBu[Y:g''9pԴgߝa_Y/R4ZI:'ב`3&w4v ğ&FqZ/Qy%9WG=&&9X/|rXm9H45O4çŠs[U,\eѬpnU_4N \v1K"]M `;ZdԢhB@N<ƶcu\BWc?u)eq9FUpu9ڦw.W^ pK<;m.۪Ң.\v@;Hu4p/2zxUy&b ܪz~tYnniӣѡ׸`3u&G"9

5cgoجɤ b8Y("yN6-%+6łM ESsMQ>ĈغI"^Y,IrdE4aAi+uZ}0}߂ȿQx%uP Q_Lk;)l̀ڽ 6/!:A s?UN=0tS+p6?RfG[W}aaMʬ ȱ+N; Kqm>6jL kRϓN|qy|#43gYZfb268cc76da98fabc53a74c76347a313807c0e3a8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c feac82058b7494d758b6085989bec9aa566aeaa8 30931f3012fe4997c9dbba1d5a8be5137d27002b 9642e0fd4a43379a2040391aa332a852e5b4be49