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 ff' td| ] HOL-Cardinals:threads=6elapsed=6.607cpu=34.756gc=1.488factor=5.267zXZִF! 2]ŗXf1-q恈<-¡$johkX2I)']8PIyZ+;EiS,=GOĿ۬J%s:C_S|4NY,Eܯwem*̸ھSLfɛեsv@52Q,&%}$[e hj% 8@bEC'zIe~Jzx=_!Lg/p 64 #2{5gYZ7zXZִF! ;)]ŗXiɟ1?ߟt;9BP2CZz眭5 z c7=xV)oz, 1hhʬiDoWb%$J?Ka<2)8MqSFZHP<7RնVjncq][ApQŰCsq?7g!ΦakH.zh/oW ^٫SHe^RUe-bH씹h;h(\CWa]2}DcA/ܸztZG֗QK YTEi:vJT&a:? gYZ7zXZִF! !w]ŗXi%;ާ )-lu[.l\SĹr;xXm@[oc :4rh5n@ﳍLE!$#x2 $MðgbYUrhlǩogmEw-ƌ- FgI 7MrLU:Ax~<t+2F$yYf8Hu5^:1`n, 1Z|/;^ /3,I`DPA5^}Y'H-wI]M]N|]?P CSA?POs%[JuBv dN).LVlxEc9ۥc/ evq(;[Yﱑy<Ŏker&-܃ׂQ^aP4HG2%x3d"pu]U<+k}wԦ~}Zl-IwYf "[`&ޕ߸DKA*goM+|7 б rBء9GЌu'G>g9wIL\˫#v,.l=IB E>ȳwaxw?[A"gY53:*X %P'en3_R 3EWAxZS{))0ɺo~uTY~ƹŹ|vp %he vuE{gO'rG]!O:sWQ苏z+,!7E~[Q : : *iFH|}8%ċ)Q= zwB,ԱgYZ8ebdd0f8bfa512755de0302ebdaeb4bf36b980c5ed6caa966bb75077c120e012673453f69d500802 269c54a80d587c3b365ca98028240e5f8391db0a 777cf8dd54e76baf8f45a139697e479ae8b5c1b1 ' HOL-Cardinals