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  k5\$< ]/ HOL-Record_Benchmark:threads=6elapsed=97.508cpu=167.256gc=8.988factor=1.727zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\23t:cG5CX+D~3S1SsA&ʝ w#37hDʞ!'*զ΋p42o{Q̓HG)q0ᕘJG)W eJ庼n,5sNSO4Q2 :tӚTo{#>)rN" F㄰Ms,O0kJ +ςqYmQ"l}ji+v)BM~Lz`5Bgo!㻢Ph( HL$>P=>,\riHRH4&U dxM0:HJ!{0KmDg=c0t"E,jqr#,`v٢x策"}iL(h|{^{k)楖6y.NBq՛RqIcͽe&&D=&C<NYLaT--D2e 16j[P p׶?8aXUš~b.ڜXhQ 6q([:ORHF%k|gk lf67?H klMA+FZ2DU \2.'WT3OLhEt_K_l+74]+OcyEEr>8p )Ό@JKZNzfYP¼Wⰲ`/$)H@ 3`(02O7v 9uDtS, jp=S_~V|h!c5?Ԙa;A,6ANl~C6z9P(JpL mEݏ ZtszJyېl_Üs^jaܱz/oHy&"R ؑ:ػSBgş]#ݨE qa9B=[%z[gdEsILtv3Nl6VUZ-C ^j %#TcX`^¶q%p.Uëd-=ɒweA_hLϬ,bP! Mw=g9+鸕zn?LH1m *}*⍍Ȳjo {^8!s7XPcqr^YSʽ>uiLG<+^3+}V3Z8A8"=i';֞?r],];|SC١.sAT'Bw=f^d$ؼ3ԝcP5{" }_b~;NmT[<T2.|?!DxZl_QP'v& H9K?vCi!+hFICٔXQW cn[5%\3+(FUρfG=ɂ# B15'WgˌQd9q/(ꈼM+0WVJ.kϟ_Q8WlvFLsu8x&CBr@%`#y&Bt\1pJ |.Ǽht9jZvQx6:_ "]XT\ڮ;s Hmu'RRD,lm*KN[Co0~y.p1G``],3ʴNH)Kg> 6 j${Xޜ/AxgeEq_\bGW\ o.T;^R3Q IGq''9z3d @)E*v!N1h<?KЌ%OA'_R2ʍ\-[F! U3,z+4 w>{Nj!{v