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 m# t ]w Knot_Theory:threads=2elapsed=102.663cpu=173.800gc=5.068factor=1.697zXZִF! J]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zYΝC/ygC+ m݄Ҥ+Q\ݯ(aPˎ_i9d*CE"#09CtNH1Jnz+h-~b+-[TPuV}gA"o]|8\摻|HKVFd!cSaom`Hz)9"AV@ m.@+Wa-ȡ0z_U[\  Gڽ'sDζ w<Fy4%=6%T`3j틨@T\ZQlK* QN][ j,jVOyv&/mV S-^/*.\,~@ͻ\ _0GXx!kJLGEG 'lx4(a42LxzK:U\(ETy>f.]ink! 7#"j?e5]c$4~iE eJQ\ :͟ı\!A;vYgfB8f~αs44Dj }͈r)}iª(Pf*"1Pl٬'QK⿳?\">~] O lgy,ĂyN; /y.?v9IV;n:tWKo!u 9H50t)OƄ)ӮZaKF/N<3M>'~xh"j?' a+m(Qψچet {(L;ɠh>Ť + JϡֶF>MB,nx:go毅:$2rmSs͓}괾 #P9Ѥ=ksl",v^oO|1H*H /zD0#3TOPjB_BJ¼W1I =QږJѬTP!HU=_*ue=O~-qi>z儡,QXv= VJ_+лȄUb?+?KMU9Q1P(3gq}MuU=%1<ҁ}eW֍Vz )}V^e̪Ah]H]7VmbJǛ+3X2|VH;E/ZwkJaD}MhyxO~ֆD {β 󛐍M҂DY#ق2@iU,Ap\)+,5V \(a㉟m F'kTYb"P4$xmkm< ^2&[𶊹ץ.N%@ f@?yFKuipX\H M]֨pӕ0[$aq[.ƅ('iMN -x%۩XgcMMˬ0DH F5o~[QFI'Xќn96#Mtes=9/6EУŠ3xOUS`.JK6YҽQKu)Y(3bX]qcb3"XgYZ7zXZִF! r]ŗXi%60lK%_1!4x\SƷNa .—G.t$jj5kgFW"=%dZHj k,S|0&YAuh#"*)5D{jZ Qb5MTeT=4`扸*uE2nx<B$;pғqgRݑZk3SXקkz#R6zXW6qF5Xx}M4ǙdKċHT YD)B Mf&Hf)IK}d((d@* uhfSI-\VO` \AodI;lBh51}6")4@2n$0H>? 0>.a9|*t)M Mm+Y6)`R;Ddj.ħدj+zJE>dʳX&sa/e*QPEʉU}?on0Qa C46 Db/%Q;Y!ar"DPqgɝoRv} hVhghte ptfά$r t#t1]o0[XپsrSb}#&Q1 vq|?J%$lNWH?JExf \ Q9)"'ō(fF{v+yIZ#vPpd35mM:A+D5FQPY;n]+ w_7-D^M}r8NHs.B|2֢cJNslU :1-mjk֤z6%``qh A$Wt?fnfZ<8e?΅e#_zNBٍ_Jwkk_--Q6oӆҠ {u? L֬&,:@\l>R69JO [\68td0 eVv`ňGu":,+WM6\t4 oj\# 7xўvuJ=4_hvq"?+GlQJlI#C, Z`\oYj":$J f_\f-PѽuA3h)I){#2 *UpN # Knot_TheoryZL6U+.[拮>Ztvq9S *յ z1q=哝>D:pJw%,PAeZGfce Mgl'{+dEV,*ЋOqSbi[J cZ.e@#:R2;/CLs)N%${"- $мkz>طR k//1U_X| cChw,p Ey pU'Op}MPcxa#1 G ?c]Bi+2^lx#w,A$"$A0~8[F)4o;+;kE߆YqN {N2m8>wATdQ KUUj>U(-`8D7+] >c ^Ihe²rmSOO 4w88ȴ6:u}C;@ɗ4*$rDCQ$5h}TAtF$&SvB;)$:`%cEz) E˷d sulh8<[-:xfRsV_Ֆ Ќa `Zq#uf (#Z+RY&[Wy q$p4dm74p9_PJƋm4~"f߅ _ch"Mv q.?;%YvtכȐɺ/Rg qb7 KAxȡ^j^b&|jž>\P$zQ7vuk,!5aÝQ:y5e[П \jp5WIHLqj@1P mGPr7XC17c 0FIwrl"KdR$nh|Pӛy[ދ)L2v7?x W@~ÔIWi]tC(v%p '0ni}GV{m #m_NDvC2Y?./5|GXmDϻ j[Ԓ&'+5*I<q!mhoUb+a t|RRn]j>O"痷&%V& hqT m{ &/q:6͕}[@ݪ4$`1PvI?.B],9*`tVH!*>I*H`tJˬ9}lQL+|ƵQP;:D1=L*ðf Zк޸bfpP# ]YI4I`q]6?7o@f nM`Hg֕gdp(ܲh,e&N 42a5Vp>+Q5v[0C>Cx|eꄽ3 h:oꯢRۀesG*͓KN.d6 {=kyYJeQv:]Wb%QosoRK7i%Vf uњQ|'*b4+D"n$:I6:rѨ! ۭ c8$U5@\Q6X/k@6TR\Q/TI;Rћ۠5 BA5\U:!DdlQzab`KkQSo+ugRx#M'#t,+Z/H^V2Xm7V]l@3gkPh"X@>:sh,I/=dDI9ˠ"S[zP6g$s۲V-VB7:@q Z Q8Pg I?!N%e-VZPoAQ\΢64 Akj_ v]2pY*eP]QlsS.ՓfufEYWW7}frb3m7sÇ]-[9EUl`{(AN9t#ѱð@;[2 2 nAhJ]d=aԑG| `(푴a9Uu4&?R?l<3Qv!)0"XRU6J)0lqZ4m^譯l9 MQIHzSAѸ v{f%z6x<\M=pҙX#fQyO_8 33 ڮ¼nK31`X[iqHLy!5ޘ-RGws_+/4nY:~>yLjL?gqıI4e=" .Gm.<ʑ6BLhFBc/2@ySeep!n)} 4lbX7zLҷ}?a Ȏ|&)_EyZҀ];ն+͡\nmx6 rq8Oe~5loq_zV15|tV0LRue@cJ^`eTС_6hg+$̥h??$U/ ONzƾ#Fuя 6dƚ?5A^FT~v)T,o|gh}%g /EpsA%jR%9D~ x]Pe°`I2ZFUv Yv}GI-n!Fմ4cѤ)u q](RM zjdrj5CN%tv5\Jٯd#{ȟ̩NՓEIBR2T`f#YF{+8#/{|]_[%#c@ib2z.y4 5CTO·?^$ۘMS,S/ , r5RծF[Of%b欆=/^A?|C|N*B/%\Sx0HuH