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  u\ ]/ GoedelGod:threads=2elapsed=8.426cpu=8.224gc=0.148factor=0.987zXZִF! f]ŗXf1-/6vRZȔd} bMJ3>~Tt?V :ޔ!T2lMk."nd+IPA:P 6L)$7gT*,gYZ7zXZִF! G=]ŗXiɟj bk4ĻMGCu0ho[j*qWUsYH3}YZ7zXZִF! 1$=]ŗXi%9(PM tHE$1UY@U<,Vo7Ү}z}\j]_#:ULaİ0 ֥m-ӣ>.,'Ϩ_l0eOI rdPCHZhD}*c=!S :p1y\ȝC~q\]lw +uc hC>hLY5riU--<i]NFBj;tm;n( WHBʇ\Ze}rSءY'q(ckJ՝[D挼kM[Ȕ_ڮ#]E n\7V 3R~@r_?)}>yr=,z,c,f*/m7)p5YS*_>[t8y8A;>sW N{Q *<,"Ho@nY=][Q8(1Ah@JTP丞nҮٿMg%nAXM^Ulȩ$DjYXM0^ . !88[|p'"w`l6m}whL栅նVwTıq6Я r3O]:ҋ`\. P,FFݼh },\Ig sgl>mpL(^1J yg0#9CbHgYZ8fcfbc2595218036f0f5c5aa5ed7683c1d2a2aa3620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15   GoedelGod