SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_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#f zY$!hftRY(qm\2:yjj*f K mVg YZ7zXZ ִF ! \ N] ŗXiɟ1_sB2 ( |Kln/h0!2ŝz4l'1^jO%Ym~@ XGD j]ON} YZ7zXZ ִF ! ] ŗXi%6Ʊmdm~ě"+EN'0eR<0hX?=L Lu\#;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%sIJz`i-NЁS;m =2䶼lDuw.Q"6v 5 HOL-Record_Benchmark Sx .k au1u^`>WgR_(jYeeG=C^t[+0q\@A9֤,"rN V#ɦ:#f#CPs7am ,ˏ?6z9T0f]`^^75 dfq=>݂q.ɎX{x1-ϱp 89A P*S4 zv||[hD N(IY +C_sd*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 gDj nhڑ>_abAd2Y 'ăN/yA`]p<:ȿSpi8ycu2AInsI35,