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 G' $T< ] HOL-Cardinals:threads=6elapsed=6.412cpu=33.556gc=1.304factor=5.237zXZִF!  ]ŗXf1-q恈<-¡$johkX2I)']8PIyZ+;EiS,=GOĿ۬J%s4|br\'̓4mmx G旁h FAYj?2|Z}0oک^O\r["ޖ#\wԲ|S@=.hjҝqawmۆR @;rVHgt8Th\dgJg[=XDfnal'e.u|Γ.G(jSCdcBW.>/F^tڈ#Np# vI(Iz^ڳW@ a^ o"o>Ce2^e o+AP0+X~sOUX#+ѩfd8YH+R/!\HrVw#Ş92n4p9 `!WuS)#˗{T>yUoV|ߕ. .9Hm),)ñd5fӚv0CPfY2Ѐ XP2kzax:XEa0K@IMtƸz1}R!zc'2 o;/Etz{,?70L~FL:E >WȱB)(j:yDh>l ZBw"qnn4td%rP02ƃՅM^76QgwY[ Vi,Gݬ`@ά,cq^qc('^k6K O99K5 &䂱eå{U4N_jH(_bQ*1[9MOOHBonfP*z` ^AZf̀CpH Iw*sL"`V#|eԜT?EZ )OgFjֳ  f|4 |Urp-uU HSGkRSdqTV]?4Q bml+0#I^kFʩN^svk48Wk=bgYZ8ebdd0f8bfa512755de0302ebdaeb4bf36b980c5b121211610e458dc97d612673bcd7347cff880b9 1a49b8a85ced53b842cab647e6c466047ce342b2 f09c2300a0729d3f40460de3221a99f80cdae554 ' HOL-Cardinals