SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  f$4 S% Cartan_FP:threads=2elapsed=2.200cpu=4.124gc=0.072factor=1.877zXZִF! F ]ŗXf1-/6vRZy_Î:|7^qˋ>OS,4uH4NJ6gu"nG5U0]<ԡ00gQxLZawEtQEIQ4 'Vd1"7$;pH*x4GAu4XUYVy^vE3"0Ͽ>xET:7 \qNG0~1U#\.e CyS6R=JM}ʪnz*D b(y ^gYZ7zXZִF! ]ŗXi%s;JНu| ykv_s4 8)wB|Cw p{7!M=?j&noV!΃x5eyxo!hajcFkb}z>hx,TةLuB5̕ "B*I笟VwmY!^o  ^uOEo"fx1;Ĕm<#;EQ2I۩4G0vޣ[mKx5ercU˾%*+?9k53<Z%G$ۼE._')yPjde="*cr r7>IA/ԛ+ٶ@nM Q7Jgr ! S;ζ8d>:gl\!Njc(v|nL:Lyz(Q? |Fg;],vѨ l4T Fx3LMIٴ DTkg:|0U Q&? $*-`gYZ7057753c2198f293e7c6203ebeba89e1627dc079 ca1286a1e0a47715277580ab35389f0077a71e70 f4f45ce2c3a2bf9c0ba22e59d1bfbc012e348e2f f731dc2c105e227e07d4b3192c213fe54f0b76979711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 b62b082da1d764e713f5960b70e1b522ba49b147 4392414ee18e21cdf5931c628c2aae793eba06bd   Cartan_FP