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 ss#td\ ]w Knot_Theory:threads=2elapsed=74.577cpu=136.796gc=5.296factor=1.837zXZִF! E]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(p$_J3A0ݭrjj^ɓ量{?qF|p78KJuv9EgqlP|Ss=tP8 O>𽔆H"?yRm(ۻ'?/x$_n2M7`/!p=V:ێA4} G$CsD.C! C@ih)$,^%k1؆L^N[9 PHD$ $ b%Fƅh8:'az{8gxG7FB@wy!N9Ci=d<xqAqԃͰC̯8A!7%ۍo3 6Rg&g y Fke""!v*v:(nRz"rKBBy骘ԅNϣIk:̡x$-:?`1^dN?ɸ_Sö.d2 r?)X.!!0x J hffáWgq`$vBzd?/ZAB@"UL  &O0hI+:uuްg41xH]ۣf =)[ff} ~1_okт&Ʈ$3(Σ AV5*y_4qa|-XPbb}%dO& $cFrX3w:4e)) t~#= 7bOn pмBJliZBFi}f?Vuq.RVUL,//%C]9ץF+,tALSg$14EjDbwL|h9'23-e_sY>l )|Y"&4I߼g%N!ױg^Z~kAEȩΤp'ZaR&1-N-Mofb#1٨E&\QYdv98[t 'Ji{7)_"isWV %1ejIZڒKn#w :Ly>$2CCNXwzR?Sw(`^K `[G#Ṵ1\S7OPK&4]1#n5޻|uS9rFnM^)Lg9:|%N`t>czfjm"{i쮚=0#vn̤\k[_({ rZbOW6%eQKNpV7͊tF#^6p6 4eޯW`rSoEx+( vDTSc}+* %lprK]V$L<(y>X%r)΁r-^sU&AG)H,l(.RߜԘ ;gu:zWgURg1H|zV&UɸEw%H gm BZҵbA =&"u$C<dq?FGbq G\vb)$dkL \4̱gYZ7zXZִF! i]ŗXiɟ1&$͜mr2HYzHYAԬJh1E[fl|qblޥDiY.P@`@)]Po"o@25֕GPpqmJhtb&LH*A=M)X8U+sEn rҩs Rҋ@/c=ʗea?>r%)F CtY/۲IfvYG)m ,W쪃{!]ɍG>¬Q{!\ ׸ҥ[7gt gYZ7zXZִF! k&]ŗXi%93-4 X̳@8jvGO:wd4H!'Ԇ~,t먮R|WjϚ!?5^SPUάP`ʷz,eívmPUhDW·28Lަ#n:>QR@;g Pomv9N0rsZ<7aޛh*Fe"p@t"q 9Y2'CGSHw ˩[A5e>#i֮QTdH%fAѵ_[+Iw_7%9ρ<炱8XyQpwu>^1HLY|сulMc'B ^ ~n O!x/:+Rу\joMr‰>#,*#uqRp+bR${ł[]rrE MqZoB?$\*h֙)K1l7f xIkQKF` s.Au6M}Ei-}?Rx*7%ݑ{̹Gnrqǟ;p-<>Ԫ%FyyKk*JAA'=WFȕ2"ʡ p̧NPx_Rü3l :XҚmM¹yqy[$5C!G+R#Q~f[]І.\@ GR"H*mHޘ_Eܵ7o4S_mP `S_V(ON4|@oPyw^2N%Yf/ l ɒx=5Z' AɐM-d Rp2.!%co@0߅=:E` ib<^~XյΥU4zS n1l Kt'}GG9Ix^dĎVruRk(+#[m/" ?]. Fy Y{y ,D>yyMS\4QQ~?98= {]%\9?}Sw&0Q0.9ᕪKx%Hj~F,ͨb vFSՈ5(HFj|! d,;vX@N0ܵ٥?B=5Քij..+h> Svp7>8f>Z}c^Q>9Ї/Ab $m CY?1^n|8\|:T$ 5@23LMh;m3ְ1.32`i9KkcyYR~g8|jlOx>U*iѶNέ1= ==E+a{[+[rakQleh6b˂CbN4;{Fa߅,baQLFC#~&c?pyFBȖu%咜H2˶ь5;+{Y@_v6uu<|B6 u`Dk(KR3-\XY乃+Qm rwVL= WY5BIş``˺-Mལr&JZ;wm(k26'Ȟ=XRٍMU4#ebʔ$wQD㷼A2vH"N)sfȧ!|z`<`n,Tl5uM9|T;bA n`eUg͇إzsbhMQyb^HM^Ӱ.ɫwE'" o;72IFrg}tbR8(<~a71}(6+ jMu@wqvLT bT)U9#6Ȟr\^jONyᇡbaX-$?tȲ? mXN iEPKS#m?]wC?y=4_R'b^Aɳ.y"x$ɰiʏ!IY8Cz}2vrY{1YXt prlm8>oJu[cw!Qd 3ǘTI܄*w>Wg VI!pR1v^.]x⸧ʞ<~Hp,--֘ jd[ֻW;{ěA87F*3_Ίwax^O [ǕJ]VcEД@8I#_=6i]0!񛰲&ִ,b,t~]QwLYDC=Qx {<`n,F+ sw<*WDފM61ᒺ[Ո aAwCtb;136.}1^ynjݒ_|Ej[8Iݷg ǒ4ੰWa*'…8{~"au n1 ~>[%HD2`<=V OB(`-$뀑ox lNi7q%Zp"0]6۠z1EsM ?I}scA"Q넋dfFOK؟.[WkZeَ;:Aalv}R x&'OSzJ:IXzbY