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  j j 5\$| ]/ HOL-Record_Benchmark:threads=6elapsed=96.004cpu=168.456gc=9.716factor=1.757zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2.Ԑy(aaZta .6xgYZ7zXZִF! \N]ŗXiɟ1_sB2 ( |Kln/h/U}^m?)ۓ) uB h|&+j]ON}YZ7zXZִF! Ὣ6]ŗXi%;}ɫ>Pc /WHeO;SCJ摸]-&,u1"u ߬3fr hw! C<@ W~Xkv6[?*0zQ }s=$3ץu|dT#Rr;t2Y:0k :W89"Rk" 5 HOL-Record_Benchmark@%g-::eY6Fq;[ R 䝋ei#hF;h~d RvMޱbqӊ/)s1 Y_Z0e|&ȂYL V "e`sR% u'𓉧BOAdJ"hSuLĤup|hFklQf%97-%|b@TO_Q 7RVwSpy_LzH\pM]:tRhVU,;xw`5|HZP>:E\$v3|,`} C bDs+h'+S4UNS,7"Q4h!{%b"*1}131Q$O/{{5r㿙1O_޴`phopEWBP$A>qT:ӽΗ*yMsa~#"uk/ t[l ۻ;[M?YkLA^L[F0NMDboq+|XNpDm!PԎ=]e47-d %Mm@hB nby1 %]aX?Bv~$M&aS!>:j$qN^$3#^Z"b-R wcaS ,ZpZ, 8$?"<AjhoSBs$T_(E]MiR'S=TFlz1$I#ey顁$(G6"pzBvE̓NXl>oH3h@'wȱA[bq~BGG=`P[&"J@+A@,L{h2W&q1xۗkh{}@ˀ;4",kUIjE ^}``M"Q\WR^%t0ib'\Cӻ)v{ss9Ry[]uvϮ'4 XlkAln:vw%Fu-DIjRA^JtݨĻF_F/qbjlF-Hʇ~ 㽾1G{qtkQ-r:STP zE.1DEoHB8v4;'2k?2CWʒ yrtt8aU#Akk򭑽bNۖ;XXyu{ QO^za/aN ZY wf^Sj `b_;w&`)鱆6A+"UeM&s?fb+#ݒ ʊv%:xiןEk6dN 7 l~aXTW!-nD$SFش~cHŧO@aSnkZѝMFN1fZ9 mql 47:zJ׳"e|j';HBnRXj`v#6tcvԽc