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   c5\$, ]/ HOL-Record_Benchmark:threads=6elapsed=98.032cpu=167.644gc=8.980factor=1.717zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\25VX(PaVVI0>?CxgYZ7zXZִF! \N]ŗXiɟ1_sB2 ( |Kln/h/(er|'&d ߥCi(a  ?j]ON}YZ7zXZִF! T]ŗXi%7|M-%]'no{؍C[(Qyؖ0܊4{TIwJ-X=< GI&(lA[ 5ika\Q3 pF]s2Ĺ{x6*MNY>HO87 -{n&W# | sgs! l;9-bqq߇X;;&hCl0TQgSjx/\B&yVH`6 &w0m6bF{ m_5N 5 HOL-Record_Benchmark&l5|VI=+a\~|GwGn.䊁Kry-S?9瞲yc`9"Luױz lEŏ^g|ӎ=aZf JzfBrA1&.lsB}ל4-HA(*G&8d5:v-WAlI[B,BfsExlSS̃Pe;"˵&Uߖ/H.`[I9 '|Om^~ ȧ)%oyR:7np;,bJfՃU82wj"[^PYaَA#fq;j; :YQٺeUt6+D]Fۻ3D"J]@t9eE`q_%>g$^Ҝ=8t84 wt~yf0* 3#UG&U @yAOe>-w1O,=(?[OSkWW%zsM~0`eVlSZ.4^?/%SJGr;h֞nZmae<X /!;OcwH[R3)hwI̎B jh"׶muffݎX9`K4OPT{w#PJ:PF~cݼDN' s]l[0&gٟvoq~{h$44K+SgAP?E- 9 _D+ ȲYgX6 hcߊ~@ԄuV?>Eg=ކh ̚-\Un>^n\B rQiM\@KrW|rA SDvWRԩ)=hg{> ٹ('5bE}90o2Pg!\Xu/ۡ; r~1N tvm.dG-}_ZrRp Hd|FYZ죸K,@.eni0l0>݉:ֆ~. #>:"v6^C|@?C"ʚi#nQ2tڐp-ޘ?_G@0(B~K.̬-|nΒ 3bbq8)Gmd9#|هUf`(%f=Rcoߛ F)I_W %}R*S\h]"F.iƧf JRjv3_v%ƆY zoXj"~SUY?C"!~ ǭ.̚v_rXO 1F/pĴ0_^}?s* gPm~嵶LbeHEto$飓>sl%i+<2Mj2W$uSnՏ7A`=`*0̉%(7THpTCXX5`P 7]< UY|5rIރ$/5_ LglgAXRX4=u3x^ E#cʈƄ0$)/-8-.`$EƪCo6 g;bOdiXrؚ"4mk8< ҜJ[EhlLKz$h SgI G}@6qJaԐ % b) E^FY i*BV6sß(k'%(!kBLU [w6bz-qיٿpGE&Icp/j^m*H*쿾1rIy׸w&Edtr#"/vu=lod)CHć J"[gKI*.IV2]!.- ^MЉ<|\1ƸSdNonk=.8'`h#=@^/L {@""K_HSyHG}x`+V #7!ւW~}y+GF4Zݬ5I7[П_yMҪX[~jRI-!_[ 7)]s)>RNq.'V|;4Ȱ}q2TX3OVӁ%`_ڳ@kʮ{+LrRODmF7_Ƙ_vLqTΎ4im4T& S\w_1原`'`][f{ Mی 9WrT, 2KȹE)?1xF1NA\>_8. [ Gi/\ikp3Ӂ\*fAyAs?#'#0~8=tnKslhN |+5˲ĒNzJQ ^NeΗܜԈ%6-8IKXp;m/2''†Y[:4q )qDiBpf%{ RI =b2!T>]KYh:G{{}@Z~dw]e ѻ51s? Rx ^ÉT=4S" 7䏉'8g_*ii 3=$sO, LhBu$0gp~)̲;,fʢ95[jjv3 4Z]k~ėrLo⿟8e a9&O q W][@caxw)[^EׇjMb[*FI6`~k`yvRUA,.ED9_j9TTL0).lYrŀ]O=f}[Gr$91Î Gl}²W{MKBF`f)Z.4zv:-4yOg w-7'̈́>/fO[.^¢I˞!ՒS/'gYZca482a39d38ca2477c2cb8b77f109997070ffa748f0f23b1ee8368666f183b49cf0e04597c11b03b 51aaedb747ba6214463c72ede31cf3271ddeb463