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  H5\$t ]/ HOL-Record_Benchmark:threads=6elapsed=103.604cpu=176.960gc=8.484factor=1.717zXZִF! e]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2:yjj*fKmVgYZ7zXZִF! \N]ŗXiɟ1_sB2 ( |Kln/h0!2ŝz4l'1^jO%Ym~@XGDj]ON}YZ7zXZִF! ]ŗXi%6Ʊmdm~ě"+EN'0eR<0hX?=LLu\#;OD>ȿ' PM…`$K Q%>=#m `^DFf(PLu>?A`"1]Rrb^,~!h4Ρ;2Q!& DV6Cqz4.s"M يW-f( 4=~퉠 pG}.$kNg ^]N }*~~0?>]7r1d:zqZ̤k)!TTQ%sI Jz`i-NЁS;m =2䶼lDuw.Q"6v 5 HOL-Record_BenchmarkSx.k a޲ u1u^`>WgR_(jYeeG=C^t[+0q\@A9֤,"rN V#ɦ:#f#CPs7am ,ˏ?6z9T0f]`^^75 dfq=>݂q.ɎX{x1-ϱ p89A P*S4 zv||[hD N(IY+C_s d*zdx͝{.xǙ; XRPtށaxJU"FCXy$[ErV1Mp]ZBn@f7ؿC.p8Uo4lt.ߞ` o"@4}U0PY@9ܯlגdž+zHI7SI׆Auϧ.b|lb$BT>camO//H^2#oBnN$U-1S2,|$֢iQI;0\4PS?!FkQ,(<r"5'ДgU<78r&%嬑IׄUDh] 0T^RWLD >ˉ%p|];J[6fi> yr[ĦMJPs} 5& y9pUNմ1g%u#{NL1ژx_c=A}fhelQ]68%ZWǜf`@8?Z>|f:dvL9Ws124[q ȁO| t%31]_ NMo  h&1K gDjnhڑ>_abAd2Y'ăN/yA`]p<:ȿSpi8ycu2AInsI35,wj"]&ɁV]TJdZ@՝*b/'{=5|瞷zf6OzxSax37(*Hkn0^&eآ!\ޫē4]ro\1f<6/zwo¿Bvo>ᲄUb5ԃ!2{7v5O[|v]ƞZca{ZN F5}U*dPhoZaZ㘛~;vaC4)&}0tWbc$}NXp |Kƕ˒'~M/4p \9҉V'oMx-}XBvTxkFy!%a"]NKO bݢ-ш` xID|{O"Wf0qMfDwX^FW[n Ł7ؑhLo.αI\ z BBT$-9"TH\`cWp;ac'6`=B@Øf3&`fq8ѵ4bЧ >43bEy"pAA ="'q[3|1MLp$-ϘW'  Cχ vG.<]ttĔrUtK~'Z} B݈s I 1C)L S#+W"`8SıCUf/$n  1JS_q1r'yB+Չ5eVcl #2>_3Ӏr\b !KS!)a6~99$n~ʟ!?pDZu[N><ċp\Kt?-p٥Hh;BϤ:p7j8aFg32i"CWvI1\ gBe@@]4<-܌‹zZxu|pQ):Z'u'x BP|r yӝs.(zI8 b|F7w?YTo 6kp:yb7?z{s((Gg"n!oϦP Hv_H-Ig C.V#DՖ MYۋ()1ےR&5T[6&$@qtHڊ_{]*`Ӥ¥]'D@?=X-Hـjη *p;J O^ÕCo EHt5"gYZ53e7bc0bde247dd5834570db402e783c4f1d4bf648f87baeea618bf8b318f4114ee7c34a4c78daa4 981191c027fddebcb6f024ef53e3329b8a2eeb45