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' LdD ] HOL-Cardinals:threads=6elapsed=6.774cpu=35.344gc=1.548factor=5.227zXZִF!  ]ŗXf1-q恈<-¡$johkX2I)']8PIyZ+;EiS,=GOĿ۬J!n+qv(ִ k9ڙ$`^CQ~,ªC i1L2Ѡe7xX@> Prdz^-*/3eT.ݴi27PwXXk&M_~E]泾E;yĿi$ئxT'|:lN+~at1X} fyI{͇pG|Sс陆d'[(wdjCqioc-_om)#I5GꡳXdҤ [Q}yrСHU}ئN,¶(&l1>0(w4\N}j.XYsЋ"F@ gYZ7zXZִF! ![]ŗXi%;}>g|] 8鳟N %(dWvQW2x,։pc5cN mm?orH*fSm 9$>"5ncJB%Wj$ѝvomrX 4!S8*4J%5RZ.`;=w{}&ɹhi#2D&J711(֑,6sj O{0ՇF7(@1Wu2m*ߡ&%]I_:}Q!ڬ\|QoxĖcUNlIiA]#OxѮǧX.aӲ)@r4@,tďJ{f5f0jL8=AO r?.z&p.oC t"U2}dՖ7+z WF_A1 8ΔUBgc|&B뤒8j%L*C5p2B.9U"4e74$s3AKM{`4MWI]7# =؝ 3_HnHՓo0T|).*u 4ijw38+~j$8!VϹ\Hcv&ԁ%S~ Izkq{-۹^yTzWZyʮc6͗QLnem8\~f xӟARq}U6eb;l@%{~=wx\9,pʉErTQY nﴉ Uȳg޶Yg;DI@6Bn gYZ304188da1b62b681fd0b5926258bfabcf2035dc2ac799521742c6a511fc6b752309e53d5f9492760 7d1e272668ac77c0cb149e8c1935fb9a1f4501b8 1ec5b81d09e4e6e45f56eac7d937744404f169fc ' HOL-Cardinals