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 #4\ +w Knot_Theory:threads=2elapsed=108.043cpu=178.092gc=5.264factor=1.657zXZִF! NR]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zY޵^fzVDžh..Lz~'bzY2vy=4m92%d eb$#&ɏŲRFkLsD Ǫ0D诳y2ݖGې:Eܺ5];؉8.a[ Pף~Iڬb/0,.0qDlX>3veӾq?ooe>YH1%9#X=`=rzВ/ (?dtq ]ơ}jo # Knot_TheoryI` E/i 9k9*|xhswʹAiC6*yn4W?++`iuSD7>7n,L `els\/R/*_n[Wx-L!gOï -pkbBΧVHJ:["%a] vYK(ridQ@j)1+KRr4]W:4&$5=`GV;5B욉Hn_U{Qv5Ĝ˻tpk1΋gҗFp0?G4DNN@U 1K/0oV\S ު;=ږL"p`Cpag+At=rlss衳1ne$mS.9 orqp:@x[?,'Q'V뙦Nb\p,ڻqTAPAj"<ϩ}hSQ LpVNʔ+K4RRၟiDU:O/,> CEi.u7d)_5u6\;lX .2ՊcҦS"K8rk1m jxp1j?>+<>SDϦ9!RVS?fԾI\eNeZ^7m4,ޡN&KG3Uo+|/aR0i9j GowXB &-Z`؂T=C=Y/'^uQdvx`kX&$/ m)OWi?>YԽ!X6;Z!+-}%| (  yoA= 3U0wqs}d?1REtKۼ!Gw+8:ϕQ,/H @#Lu'IW$mbdkPI~hU<'EJ&F] 3'TۦDhN_a<`UR2gȸ@>3lV\ҿF~I{` ywvt",Kߩ%g"!SDCy.;dE[2՜;Y+ 3cnM` &Y]_#[Oӱt <k '2> P!\WaSU?k1kZT2Lɱ<:}KT:`3b@:<1VzN m?=(vCEX_BN3/Pڗ&YuΜ =1|%,϶Y xO ii*'<-R߄%@f0bf5> !7;If(/|Rd$Wt[=(c1_tkr+U5ĆǦs全2GN~$ =?J䚬z4_VV^7MԉC))-בȷ\TMbLrfFlk9ja̩ƇbaI*j`%T@r[]E@jA~=-1?'$ d%g\`\!i>[|s; 5P!3ɳ/_h4qW8'^,V?<4B:1;'ja/2MNo3vT4zh|uSg؈FUX,ʶS ;L}[zQ f+-XK׆(Rmgm;'q~U&9x#_ 2OT4?,G&91y7?t =]8$bX@}.tL/fyp o-jL[L"z+ugl9tRZ:_\4 ׾66~~50} gJR-4_9sb(s/ѩ'lU@T۬{jo4tD'LDsB,͆%xK18}T@{ppNcuH$O ݥ8ZJ+a4|!MCA9ƥیE*hO;IJE w 2qw Vl5p6-I·$Hn&{D.6J#Qi~?Wr؜% #pOtt%!=YÑa8$7L,Qd;j𨤛/ۉYdEB[g98i]Irʶ]4~˵|K9ax 'UDu-R9.  .\t c#^y20DXRvַ 8@/Ǩ+giitWh<1^k&XG:- F!0Vݭ,Nݡ$sSǾ]ZXk@Mo.MOÅ8RLElq(7M%?u~ *eLCϨS3RȁC@`\;}5/ r;uW[Y6еyYlu|~,4|_s4TcWim{e5&P}#+iݘ.+#eTy$̑Dgv3jXC2D9[2 h/dY e;GY (Ƈz{@XOR2JZ(8ό~ST\: ZWNk^R7?{ҬX?߷o{#,&Wf|c޴aS[J_e2ikKSظR5d}٬ HwZOUQ1&qBey]?]-79:jxZ_n=ɮq$RP{X2!XNn=($Z-por3IJ|_s\b$TmUv3bS; EǨ~O=gF:yAtf/M kP,辜rQMK6jGn67w,e3.+G =^&[͸`C^+R'QޣIsDh"iAr,g!|v6ǚ_o0Iv"~8"kdYȥZ{M:Xߙ>q5p{0΋2lEmGfp9c1ee1-N~d`}hގ\a+"b &#wj4%j 9f a^*Bs_ފ.mICI/;~Gij8j. [Ӭ[[֎_HXTbٖ}ZdB)V /{ ~?OMߦ`G6_Oz_y^TU~P*SE_*c2HdJ3InZ9T^6"3? _>#1k^e?үx[$FJy;g`1e+OYpjNn6Q}"-k|A\\4*NKY.mۯJ4)ńKj!9:] eGxXi ,-&j4V(ߩ*h_{5;th\jلa<Pdxh$pَTQĈ ׿rQ8cjZpP'FJ󽿄S_kЭڮP/!dNjcd>S֠T_$;B$nSh\WoX|V=PӜT_¼4ёX9}}KSS̺M$Ms]R ^] ;Gs◫c&})郈& Umy Űt!(Y{tR.Swf@)?Ĉs I?d%r)$cO#DTAE"ɈhMTA"7i]_t08,/I[9P;^hR+^G=mb#0XZWTbzX LL>CZR2V׫ب6W>ѭe+MuPv ^Fx$Ps)H0SC+-47x8x`'*|6r{Q//+[aȢ\Sq].{|% ^:)p%hەv8?OsJRAiIi 냳Vrƿ?P;d~ϒFLbLY=@r6cD. ;x-#H!FwPT³b q f9ܫNJ~04c 6sPe%`prRv;oEw7Q5Q/,?Q| x'5-C"4L& tH-@m 6PHarK:C(F%i#RD[rz!Qrw|4O\3-="Puf?t5%'m{en[x|bl}Ze-q~}v6KBB/CAZszmq hHG&5R}Gݵ`o{>qڛ\=xM Υ[{ ș¨{ؠ|K&gLT0~6y-WI"ÂXy_? 5لe%*^A`IZ^hE_]"etHqAmލjx S}ܹͨ¸崑 tgPP7ô|9NxYkz M "X@kct Q; pm]tV6 M m8=i#?0N4v!1PQ9&3y-M>\`e#φar`ءue?rk_;t3CeHe 3u*ԀCgYZ064a99e0228bfbee5dff0975f2f583b7fdfe82df 2b42617af41072d7762f5bfa400cd99d82fd496d 2d78fcff1313f9aaed0ef042090b78930fcaa42b 2dea77144854b193440c4cf615e374bed3294e86 5c38bdff89b1c683b958bce65a050098a703f107 5fd51013b59bd96e2219d8a4e9ff24f0af1197e7 6860ddd3217e8ce41bce6105b6237ce957c8953d 7364e9ccf7ab42c119771af0b30c338443b40c92 83d2fbb1947d9dc5b1605d7a77254a9bbe15644c 898ab45b10354c08c7664fa5da76b546d9763f63 9ca8f328873559e24229cc92cefe09444f9a0571 a6f0f490de8d2246e38864ef63a47d8d22899e1c b16dc87f1e818bf07923465aad4ebad60ff4c699 d5811c256d1f5f63acfe072e533249cea8d7e4fb d94fd4e64dd860eec80e1b578bcf1f6d4c1e7b9f ebf3d4ad779ba7b015769b98237cdbeef1e03d52238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 75374a09cbef1204a7e538fc9a783ad1f5d9fc25 fa61cbc3b3d49059424b74807468ecdbfbeba6c1 c5a1cd27ac0ea9f00ff59812b4ec7e49af8a5998