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 b/\$< ]S]HOL-Number_Theory:threads=6elapsed=36.319cpu=165.508gc=9.212factor=4.567zXZִF! cV ]ŗXf1-q恈D='-/w)P5$WD,^D7+ nL͊ [@ij_)S*Z+p܄ `{uƕS-3'H}ߋ{9YG, IWU| xGdW\eKHM@"Ѩ&l?lQ)kxF/vҺ!:CŢn=ІQHGQj_㜚-MqZFp<_֘(N*뚐z~AIEYTb> C-Y[ŒEcckQCIv b4㎩ oo q{8@TWLd?^ I+.\xQH2d pTTM$-(ƨ^=w" ɥH60V>~ nͯvPc}F s)im2fYY٭Y n[6u9WY6s|;Tؠ4|IAd-k*(1Q1 ~qӢ!Ťi=KEgC|Pƭt[wk,^~),Ȇ'0=2]5vDBȬO Z|m5yQ3eֲ@Fu&0!NQ*aHq\},ps[$ 2^uC4q ToF&}d 2J/`kOfAMyjMod. @&H0m/ʄQBS2R ThJ!f4I ڞg|3Eα)IRoi*2mx9ADY\K!~xutS&^ UM]ow.iJS(g*hr vF]_z.5&"b'~(&]qL?@K>gN2J1VʥΟ) ƿۄl湝 mO5= A̓!487oV {*&"kO goLN;^͙m6PaD9[wFswEpMf#Rft>-YE2[/&~ͅr8pUL"S3$L1!X ww_zZ0NER57b 6Уd!+{,DuFs0Jj t.Tm!PbH[!FKլD>NP AqS4Ѩ+P?CkjC|@aT+Յ ^ms#xkb!ݕ[H,N{ZbJWHK  :(ELRM4![*}oo<]%J 0u\4ocTEN>`!;DBz ~N.kcˣpHKž|pZ8ҟ*?,NԇQ<>ΕUeǹH~e0gXpĝV3r. ѕE_^um6.$tO2O?!kB85TNܱgYZ7zXZִF! g ]ŗXi%;}“%Vs:nOG6G3Asq<;SF;` D16洏bMd!DWuzCL(GLwsSRoJYd\ӗ+'s_ 13ASkf"p\l5gR€1U]$vkEq/s^ZsPpy_ǗԿfG\.۠'UmW`Q7xzne3>)Nw=!]ij,[03Ae.L 9ozU;e}~! ~XDd@tOR,NH.$ZoOlLQ3<'u$0D9!V'75@ ^hL5IR >(au{ Gm R$0P wV8"Pqkf|g&)$CKZ>j֫Yftnc hZNx(Cr?w1ՆN_^zbH?\${<,[ZŁ:L2t&:h1:/Aӈ$) 4Ecg YZh0R#K4Ђg(6rNmavo%$"a`f[fdVx`!ݝ }xkgcOϣLӆPs>u-Rl2 V߂MT "ZV66__[fTjpkpד燀:#͓]o=" Neq2'Z2iϙT͌;(X(3lp3lEAaW"Hʯ  ;v@;m/zyk Z]zI_܎{jy憳Ue ˂oASޞ+6_!Ti:ۭlF [Qv9_x޳m #g(’wwE ѩj4mU:`Lm;j)+>lkUX4#OQ\%;ogQߴ响^bv<Ǟy%*V#ѸE80YH"Z SÖP&FaΦ>sg \Uz3O 2e;zLq%#\oxGPDž@& hp6c};HV {^1N?3Ń Mɳml-P[D!y8YEM$]\RU N)_F5lERDʹaN-7;1a$QgS!N< =w2^}KSF  $d/ʻgЈ-ud+Z՝qptY-w-9H,;垩o>Xgm+yW{jk8L qأ`M:y,zG8,U($-^B%OTg;g%}6du-/z??N+Z\s>|`,t^ /4}Ѧ3ևN6 :K }ob= ]}9%h놰YVAl"wT(,i?%+oFLφҽl_oKiQW}\,Z?9.O/3T~exb/"}o/A)C} Ŋ8Bog_]+ #As wṆќhIoAV u%r fWP erHn6 ֗ZƊy=P{Nجg%~q{/0-vnsQ"RU6ϵu9wui^_yIK ĥܮ̀u5 <[d;JAˎ:2] GͳȨ}5P'/KD#|Y+oԈ]ki1GFqgԨT G7 6 FK8V,1`V3X*'E]Z.s`q^H|iIJև_]K4VR"W/KuL эn|Љ=XN'M[ 7#f ~ |s f\9Y2䇱2SnYM;%$/@wuvIt"ؓY ŸH Fڣ|BT^6*KOn] 4?hfaF77ڤqGADĿ1E no#:nĵMoܭD2``q'>Q ;XiFaJ=Ѧy"ȃ3iVIuFtF!5?6?Θ:tAâZ\,Ե٢V FdAAK؈Xr+:kX?3Qg<8"Q,ʇmp&"M56#}FRvp"%~<%%\h#! R:pܿUHH>lM't嫶Ybx[ Lչ=\r6W5vm=4 qXg'[1I#JvY-yc5FDԞm8)+jbdg%S6w5_S@%\3\1ЍPloҨowl2Sȃ ])8ƃ(qL=֫gYZ308e42bb4ad175ff001d44fe842d1306f3265184ac799521742c6a511fc6b752309e53d5f9492760 7d1e272668ac77c0cb149e8c1935fb9a1f4501b8 1ec5b81d09e4e6e45f56eac7d937744404f169fc 16235dcc12b1f3bd3f61b3c2d80af27a84b7669d99223cb4bfe3ef7ce9daa4c73c60ef50def2b433