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 {{z/D ]S]HOL-Number_Theory:threads=6elapsed=36.176cpu=166.664gc=8.776factor=4.617zXZִF! ` ]ŗXf1-q恈D='-/w)P5$WD,^D7+ nL͊ [@80SQg񾇡x81ѪXNهQb|.!+џSe_!c%NڬrSс]ˤG㾂e/>ZG3b<ԼtePBg_F7蔕ZOi'"?Wv} #2\lLMLd7Z^to=*8TLJyo9gKlAYPK^*i##ucQM3f"JDo ''m( 2˚6) JT{ZRLEj'OEhi*%'M{HQ-ۋ+:SxLi>v(g24޷ZrnY!;1sI B[ j*Ȋ$$}'b󢋨x$--;om%`HSC$ Wt,IA APg ~+4% ,{A^H ,2`,t \,HY^U[B*h ~j MWR@ϕ' ldF'ڷ,?^1 [,?H^K\P"4e.#OAdo-YJl\̓ɮy'KWF` EMw G(ϔvuK9|+%S̓ C<RCK.Z)q%ݞe>u *`}^ghTqZ"bw/-@ȕVv;ͪeL3l5?lg2& ج'~cLv@O"/S0o4*QFJEJ{l2ԅsGۭXT?oRjzjAy@}VJNEuR*8eixmk\PSK5/UD%Íe\z[8nCX%QQsqVJWUۛ@tKr}&Pmj dı ւ)Pщ+d:UnY+Zβ N ߾~R9E0ۀ[-=v>j>}o,(VKmSm jnGЮb+p{\nc;<| 3c`aӤ@r+R3cx赳Ua)m5yCluy֛F/ /CU{~$b }p8Ug9 ,5M!^ľ#%n pzNvocFˀq|[{yVS|-oSGDsSbb}d3㮰S,YV'̎`?GWwbv '}i_@R(Ll핝2rMMSinպB?Q+_#^6KlCOȕ]0]m7>У" xBA~OWN$ٮL:B| gpW`6hhywik$ל×&L'0+q&wfxg9L1¬OvX!{|y I@h{n6Bx}yzBmjKx `;(zE5  Uoxk % |sXfRT{[S=3zӺԐ^_hu׎܅[pF r}džu-uƀtZx$$S(O@!OiJ'`VVC mnkɘSc 1cl$}o'Fzܮw Ep99nxjXbo5މ\6?K!tO(%te/ ~ utePq]R\YC=f2 噸^0O4c4hWM|Ü:;uE_i|_lFUq2 q.:3MzxW[ZCV^q0.EIrOKjMy֐?³C]iXd3`S!MrT=To?&B`L?#Xt|>? P'l<99ib]"y U7:Dꒄ,y,=f ŴФԍƢR ̞5ޏ. tBHq: G[{ɒEZȱgYZ7zXZִF! / HOL-Number_Theory mC]ŗXiɟ1e YSCMqmO2Id,)iɃ!X7in~tհ(OH`#(!S4PT)0Ҹu`n9G^)*{d}0߂ E\ױuliVuȈW$Τ~m4 O/[J 2?nsx߫ҁnpxM(wO>tTAe&..7?.1!-W@ Ye= NaElBlu*vOfXYt׃Kgii#_Y{ Ute|Y{9UyoP+ȫ/xV. >ZG:'iQMH>!5>e Q@@w=kn.B"f=>?ny~u-ZB7^gŎUÕgTM}f aҩZ-q+捧G/Ѡ>PXgBRmajsVuO:toj/t0!0͏Ynkp /*ڞE[`iABc Nq*bS9I\f}T`k6dsG8GGoom}Km*@]s"e;$wvCX1)2kܕmk|DK*^UޚfMζk`]nEG P"VWys$*t҆nb[[E_x Yb-M7 F@TݼMhte|Vbnui>5$Lhy+g>>wC#<tzu_02'XF6jѤgCC"}c؇ߺhgn w:n3r͘w~ֵ^W(Xaظ9 ::rwdHc ,(%tc4=2ћ_̜$5(k6prהOV:quyeh4 zgne0pnccXXh2A>p=v=@FmRhj!ټc̙O5C״]}Y;.Vw|x[`)J}\I30Mu/yV'>DBD} vf;Hk|kx,T7a፨LnhSįr(Yވ |(k!)oq>: o? ۩X&%7Sz`A6ʼnFx {dS@Ͻ1>E:} Jm1rgYZ85eb69eebb5a420d5320811c7914e5ec398878a2ed6caa966bb75077c120e012673453f69d500802 269c54a80d587c3b365ca98028240e5f8391db0a 777cf8dd54e76baf8f45a139697e479ae8b5c1b1 35a31e0123299e9d3cf64f85b842c2f90dc09c7cd9ddf4afad0fbcb08affacccd7077dee19ecf67e