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 ~~' 4\ ] HOL-Cardinals:threads=6elapsed=6.617cpu=34.972gc=1.228factor=5.297zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIz/QKh2TzZWL 4Q%}|8Ic [e*~-7Qx P*hГ_|20HVNV[;IE-Xl/ n8BV:qVh%A;:,pwIQޫaJ W<"ŐtY)8Y#fOGJj~ |;̛{@Mx\pTe?QGBU/Q [pɇBXA<RQ}iw'JpHL Z,qz)th[9N;81_DmCE L>݈c/Gv*wyūvĚ'PKq%Ʒ;?}Hp@27ܫf* gH`D eF+x:y@>~szG9&╡'mZ̧e\-‡YL߽S/WKY*KNxIV(FZ1& >R֡# |O%lEY P|;=?7}mg̙e7;.{#/ё %(6<)=_q/ r=Gf<,76X,z6acۖ#V?3x+ :]ՓI{xp9 iHWԨ-4.FjIኹKOiv c7sc M2T" 2I>IL VZ |z)"z1 燳SMߛM60m#"7ȲPG-`"B& m{QOzɧ4Yΰu&p~Jygǫ4If_=3xW4hM,z1ՀةY3ڍTư ZDfF`TF؜#]0_Fe]#. ;?p6)aJB[2ɱgYZ9ea63614af314847f6350963eb4299bea2487569db03750a2a02524ab90002b6aa2f3fdf73801456 44f4a4d21533e163309b3b046d80e673f2dfa115 feca8eb19e6906919bb5f8c995f7bc97212b6f21 ' HOL-Cardinals