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  h#<< ] HOL-TLA-Inc:threads=2elapsed=2.268cpu=3.996gc=0.128factor=1.767zXZִF! A]ŗXf1-q恈&h⎾kH=Ӥ–lP&ޜN,&/G.c^>ŭ6vϊE5kF 5x6((msN?oOMElZ~hg_u_"#gYZ7zXZִF! C@]ŗXiɟ1zVA5Dt:Zt){.[ҴZrK-2X+>dEIgg@d%l6\D"9G}YZ7zXZִF! ]ŗXi%96}k13қ/_izZQBzy$6ʚ=aJ !ayflfWJF8"v& I)ͷM@@]>zGid8jqfO|[$> ѡ ` yav^Y YG\3;Ex]/4sNB>>rjDniL{7yu P^ut򅀾d<"X\Oˌ t>~+)2,o?#^SVA񨇍pkډ2cDǾUc~鑮lp˾=JK0(=E}u{ֹAe`PrdYyfgdd\&~>_1]e0ds#,J45s>P=~mMYpD}YAHH>',amy6$A.V_YJZM,{ [n}rAW<\dgYZd3ff43f74fb5f159678df9ae01ad4f8f935432cdccf9b9418e9c76b5688e2dd3ccca778f920a9297 2b81ca4de31fb7c354e77106786e7248d054178d 038299b55a6fb844b94017dca36fcf61c5fab718 # HOL-TLA-Inc