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 #l4 ]w Knot_Theory:threads=2elapsed=84.875cpu=150.248gc=5.992factor=1.777zXZִF! M~D]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(pm %c1$ D( Q=3w;9çKc2Sx)<)"KOZ&D `c0B'0XEaD/n:oB5g\v5r9p3Sԕ2[5\8L6>n\b`t4^O>Zט+erg]Ҏr:wb`ZkXD4YxWy̵BŤ6KxNH@z{@Mvɧ|Ӎ=!Xpu Wt][ ',~']BذTj锞W.jqAj^esWL~T&$@DOv+NYMe@=w^  Sh{XoNYk77UI,ut[4V:%+?Ptǣ*S u@tZph]BWyB\Ki?(9(ćEg W5y.5PNPd4NdPY&VVm'" xtftNM5nDXA1bF5MйsG.#3_j§v%Q5F䨫%avIZֽީ?jR9axCl< f2+_Εo JifpH˽$9,"ӛ۾q4\;BkMx,98Bhbz\-H'T:>BB<3ZUJ1: 2OJKQۦ4)-9,jFϔE~? 1z򸝂3CpJVx\<-Qs(*sr͇ ڷ-%"9y}@,5c[@jȽ r_E j*Ҿ2*:пQ0K]E$qwA\.k6Jn`m[)9AF{F mUw ڴrw"'~[3ܭQl;3򆿏qy՛%_cہϕhIJTWEzeA;Kxtua`ѡy8eLE%/XB-!"yl2L?aӖGjs:f^! =rnigM~~׭J ַY1:=Vs7LKɶ]v6h<3`Psy`ZHL,b:o3-Ӵ 2=Z:6 ZF/va`if=~DlF栗S$yx\FGݝF^.caIT.)KShyOoJRX< ,%z) yߴ4rjtS%lUγdx|j龈y(轅6,<]\ȳZeMΩ郣eqn]EHca4ᠵaFCk%_:0@uSYlYfA{]gYZ7zXZִF! n]ŗXiɟ1&$[[ˏqr BZEijoeq$Byydt!cF({]]CޙWQh-xaeQڼ7ZQ "K!"'΃T#!8Jg]Z1hRIqE{OQG̯uGbrE%ehrDiYdq=T@'f%WU al/xXڰw?/!}`@o` FgYZ7zXZִF! ᓝ]ŗXi%6SwR?Q- AZ)wv VBηQGUQimı_rLh190!-n9Qq[ fd.=u$s$Sa":@Jky+9cNꔡuML3vأ4J[TJItZLl2\ȣvfV!9Z 6{CA;7rn/\"-E+-b|)VաWu-9*o˄'GMGsEKZj~p b1D D!Z1 # Knot_TheoryaJ.ڝys&%PЕNnK:`ͤy]@@cR19?0[zZ$.,}0;pWFB|θ|p(vcc->1(?"G KFQ3Mǻu)um6EGb",Q3ьʠX`3TxN烬]?r$ هV-Q]Lf=Mf*"l0RF膙2PEw*:XV\Ŕ{q3pS]5qW%Rp69nڲpl[ U@S/WUQnҦt2j%TV@taOBFmN \2't?mu K-Y *oU KVnlk׀fP翜DO/$cY7\>/)4I h0?­+f}KUL6'?Xg85^$fBPU0И}Q/ĝBqT\Z B+"uВ !`´}`!>XVwwѥy;Ҷ/ e~;sl&o.a/#Uԋ,4F(h,&/Me pH;&(2zϕh+e!^RmuGUN;VUP=idd SW:@Z+F u)جkF}x UqmP~)4bųU?8#Mg]QaHrw6K6N԰+N@vۗR$ LdDpOѤ>Ο?!) Q+J7DWꨇ)GBo™ٓ?9HhFtO"},_f뎯}ܓ >Ɍt1P1|XAV)3G hB˜J>޹o׾Sg,>ׁ`(6o# ՟#\ZW3oS'wC6A ɗʐz'q'O= s*Jͪ 1$ ~լ8mfXj)Ma)[p|;NMz`|& #љLHmscH>7<5;Y`-J`ޖũ$'_{⥥d|FM&HvAx^o&@W(1!~=&DĮ8z?sӅ[+CsI;Œ*?xq[M EJq\f_IgbjPgB;:&[9ۼzG:0d*Zc$71хX j糀ᝢ{DMZ:}NaE!/sЇ>$Iy$>|*gVNdf,0\ o\Cf*fgt 5-7 ;yВkvNE[H`8"(tfe`Mk(~$GKD'm4D^~eBo:Β=.KZyfzM8'>OU,.inaazp0gJPPp@tP *Rr0<Gq#Mş>ZźAG "i 9 'wkHl4҄L>\55eXY/omWro9/38 ةV/-&cQ>=IM 0GաjlYYP@b1$kjgL> "[eL ݪg@Hn'uH?W!6Bp@FPcF zScɘ>-xրJGEtqYsQ]UTl㬝BjVj ݜ}QkM#* Ƚç ypvF3 &GP# GȪs)>>mݝ?IF1O<&~j FJCs]Mc9_;6dI^ФcRZKM|Raum$aXy7DMhG*a9(L&A\ klVx[#\} goGV7JWqόIwɷZ.lʽ|xẫ)ƾ^h#Hb.P'\vyh\ehǷNl1w ?M+3€zMcЮo59/#v3*I񽠸,tRx7cB\BѨAjJ9ʛLTËUf#hVdA&MAb.6 D;_E>{г'ɱx"}! bEHy C9O7{AlWZ.$51L:_3C=^`V^H8uЬ((AӒv