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 ||% Tt< ]% Stern_Brocot:threads=2elapsed=39.131cpu=60.220gc=3.860factor=1.547zXZִF! ]ŗXf1-q恈͐7ӺV 1̙ GMjiL}A ?Lx@ncRRjDvܰq[qf($HmVw YNEp:|iAuܕh^kT]i?T=!6P1(lYġʏC}^.|I!v.9+-,fo[¥7ye5W(˲*29D%"8<@j[KtmeN].Oyݣp^j0Je΍V~>Nn)]/*AE'o~ƬcK0~Z)MI\s{8AN P@tūg_ј-^C܇"68q<^[N6jUHQC ^j}y" G,+Bݍ(gYZ7zXZִF! ]ŗXiɟ1˦rG1)IuV:%b}i7mKl% "U r* ϴ\E=Т,A,-kU$ҤXYOt QkI'29jyHf3\Y7Sp5qaD%%}(gYZ7zXZִF! ]ŗXi%9*]X+j`Ӿ:@~'Mg|s=f_#L o4 8]lVC<sbWu dE!#6 aM(rG%!#_ 'h8"͙u+"(ݵnF#۪$-Z͌gyKJbY(wپQ^MqWl/kT$Es8kpS׻nfY%%TIHbi ]Ê."8ԛS}MR@]\G셜*2}^@qUϒ &KvV֨3HtWxЗJtv页WYtp wmϏ!l̐Vc'q(#dᆬrJMcДd[̼t6NjL%zasNJNh2}mg4]M#[i*([Oj~r"Fsl*(0[UÏF>aC IV笈^vjcQ!jƪ'Rׅm0&-PŚa+dYT8ޕ7;P>0[KGsb[Z!$>.a)j =Wi++t\cZv!9A/`#m}o *2>>RЗc[ەC‹j =:Mh3#sְ1D`9]ړZ\^~ߣk=1(^CVKch>R$h./x'tߋk3QJؓIOPu '*~M6s,;nRu{5zΦ7v[9j0AH,m=bA d">%z\ @I&f &Ta1¾Fq|Ys$G l\&Ȩ7в*Bjp2M;MW3p!GM]vG^)A"8d68?t[ `RA[^FG>^)"RvuksGwz ˳!!e^L E3R[G - XiK~ SOI (7iyӬ<-wOr AnO\lJ(,C(x3l:n|`_tqx^btaͧdꮫÞ1&0sq:&eX![W*e"qlg#ܘ<sp"gDE=?♩&.7/:aK79*y`Lg҉~X L ,(cw(F'bҹ?H@>@kO3=AJ|WW )%N1nV> (x[hP-꘺i5O>p8'YkAL?]X6H'AEnCoD@d.Wt`772w=+}YP٧Ϗ {v\?6HĢF>ќjGD3va )}[160x.*@i*w^+%rr gHE*#eYuV(ULe)@݅s|KW~"FY͖kUx9:>2.C!RF2Zj`-K,s}vQ,)[D`cOeȎd%n 3d|dʎh`/'6X>*Gf X=Rb!َݑN$Uշ)-gYZf3567e1433c7c6400cd38954c133588ba70fa65e325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 6732d2329c2f5f6541671afa909060fb11f34da1 51e2bfc34deb55f2a5d83099a514d73ce109a380 460327e237af53358eaaaa61f92afac39282fccb % Stern_Brocot