SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 u#4 +w Knot_Theory:threads=2elapsed=107.103cpu=183.336gc=5.588factor=1.717zXZִF! O2T]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zYΞ=7GU c4=0ɓ$vIި0ʺ1 }i\p5E8iHrj#>/Ώ 5`f<mjl_b̍KR%9`^v9uY :-*8Av .síP)t2;%?;)IP{|9K?L> ¶6~~{hօo7 nnֲ=7g$hmp u]'OWu;{w*e # Knot_Theory_Vxb]RE jF8++H'`G66ήEYݒ6x |^jO!o/7C=}T#B3: OS-;Y 32SpmIrZ7*>P43,Z`WSk`LHw70u%c!-픡^nG1qQfE9YS'TgaBu{cGݬ*%"| F%h OImG!8 0nT@}+xR6G4OW4Fc@ǞXxx\Q7Ĕbol5ʉ-&{[<͍SdĠ1WrqNduטwJهTaaAv#:3 j dѨ.),~T5Sԧ%NͿVzvaaȐbz~!;I9[IⲉOEj-nܺ +W1̳K,A՟VU.\WM?紅a$XL[.6Y>~si[}#ܺ(r6V7V}zf) Jdss OKQ?[5{9ru^Z˷E+[S(8ɅL8;0D!3tQ{S( Ǝ Mrl'CۡhRu-kO3Y%P }=ύ.FߗaBoW yysej-U"1L5|9Ww޶mb +#ƚ ^Dz   Y/PIh"/26'i2yKCv+HMoDE<~ S !?>i'R3-'T2<JlaZhjȐy}2PC޷1zG7`BL?(|,_y$WZV钖>m񠒷E,?\} \ИH{e GD X`Z8in׀h_ςod`#*K2Rg zRoM%EЊ@1iUeqɅlPQ@a^JoM_(:N1M/>u\-J(a\ҌѬa<M$ߪ/.]qbvvPu1&|M(tHn3n-| e)t00bsow56Tj6z p]ɸ( & a t?EBJrXHTҕJ*U!] W1S,(hɶ߱Z:fmH[rAPij ,çrFx_ l H`7&,[$o A`%Eq5<OxfKwǬ9 J"fS%27g>Y,NF2 4,oA["A@Kj6gYZ7zXZִF! ]ŗXi%6ב Я˧`괤aκ߷U2tiM)]xM4nd.U KE%y_RVL(* μv{z s~7] nwwM2D,\%-* Ww,z:uT*UW$ Cb[3{)wQt{#4'I¥4̞4ĕ69+GQ8VƝ]8f0H0znMw˽W:M=9# ։:-ݕ@3@ ̹Ju{ T>w6U`=Β];p+B'ֈ*Ryh*Uic V= 2vlX'.#"UI=UaF2$N6:. 54VG(\pgݚ[OUgnǯ+3Hʲߠ4d Q[+AµZƱAdcv_qB=Ur~1߸Hd{J|Tbx[ i?[e}&LIk Q?y "]Ul=u( xYh-4yʺ~ z?i7\De4ѐa`4|}QVŦRd$cXBфZez%lfS]C[|IX'jJ6h@aE:zʘzus^uv Dz^\Ty0x),OkZaUH&1]8Ip#7bΙ]?B续O/O0hRbR-O|5hjbboFMăխqq6Y4j! :v[*ȪtBg+r„'}1L}s<Š2wy'IQ8:hґ]r^l}ӇYlQ{ѣ{e[\n8`iMge5]7˓3Z&5ƻ́Dݰ61$I+C.yQ.03A(V$9w?S>$KJe TMy“VABrR($>zAZ/~ʖ4:kX!3Շ:_@_&&?"< f)8>s* p XAGB[ew<&7=/g *f21K r,>qMa/2SMUPLn [Q pYtH~m 76l-˃g+yH`^}!A{1hu3Ka7%u7n,raU&}}~~yLBgW9J(gR[$*^vl}s(@qbڞ N`R9ͳ͌xRoBvRsUBM9 Z?v2ZB!]n>6Č8An!S^lvOſVHJ< Cx BeG on /qL mnڶ'a利gWRD{fƐWD vd|.XT,e/1VozC6?bm{9o{ljJERS59,Fݼ95!/D}tAeA I8ܰpY\`*oHn0aӁޟVjPrD'at a5܏2p}[sqG8q]*YM'_Q󤒫Py kbHo,%u?kɠPS,۪e1]ᓂpMSf ꑈbT301ICݦ޸([Ļ8Da)KK*C2~0@nͰFЗމ_%@>ŖVC1"Eg"V%k[eƇOzy=z+mT3X[-w\ "jH5i CsfV%8! ~IL?I՝%ALNc7߳/r1:sbtNM($@ixUQ0r?o Qj6{j7V>]+%?18c gn$pdy 0ĈT3ʠͱys0