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 `) T\ ]/ HOL-Statespace:threads=2elapsed=16.837cpu=19.332gc=0.476factor=1.157zXZִF!  ]ŗXf1-q恈8\:[Td6(Jx3[YZEeȼE<6]B Ȧ|{ !VJV[rx(Q|SXWhz!]GȱV*2en d@NC#rN=vO0I6uzl_T4vmzM޺r .THeeO?%rEX~PY8q~WHh0z ikDp ZgYZ7zXZִF! ]ŗXiɟ1.F+hzl-M'-Mzɕ>nT@~߳mGVS;1|M H;5<PbA7YC;@b)O3J^WzkkK Yb(`U+'2Ry8 YmgYZ7zXZִF! Y]ŗXi%9*Wθ#(ViuܾXs?ao R38>bWIm_r8 y3]Q >>Hj aXk $o ]2Sj ^7: h5!5_~{ qfҎj R͛h>*պ~QxF4*žDY:'F:VQL8%hŐ~5 7NPܔ}f }b{}z/mQ,6s~f*x0IZ9f08?.xR)_8fKc1TZw/OD4r㼝sCBko4`nKؚ>H;΁ w0WT3:cznqhLA+)t=*լ(e+$wi69N& ^X<8o@K'~KW7"HF _CqW@$7n5%VX/;!y͒}eңo~PYU#{8H4^%X~aų3kxB| HfmolB))/M(K6e Ž֧܅'g5V 5 0ֆ(j JϷl*a4.VH#l[?X*.!\ekmlt6/^,PRߐ*2 TȲ# =մQ N4U+ [bA$B2V|@Fdih  &pvgYZffed10eed7535f6fd1179ddb459260f3c75a0c621f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a ) HOL-Statespace