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   g#d ]/]HOL-Eisbach:threads=2elapsed=3.898cpu=7.788gc=0.204factor=2.007zXZִF! C]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Dҵ ]!)(qRIJi}'Dw/G)X32=l2ki^px>^XMc/;HdE&GW{,o^{a6<wR ]{RrBMbM3ĵX3vZh_Q(< n2anl,z>üVk~q\݌IQ*ЄCp>3, ԟ f-;?x/V  AgYZ7zXZִF! :]ŗXiɟ1J2oeTʹ̰KoBB<Fzd4_~j?muHu.'cڗ 1xpJt _B'9q@T03 DI8]ʇ <( }Wq`-o]B^.lnqgYZ7zXZִF! +]ŗXi%Wm1bSeau24+R~,U#֤2"(>N:lAK# +'Jo^96ڦP0 5W`(u%un7E by(iY A&ܻA/Lq ..0n}) b`3ʣg; R_SW[ zԚ F/*}=bx6WBv+G?yErI!j_dە' AUA]~\؁;VŮ)pZQΨ  )(wd H-F٣mӒv xl>AޞCOmIVQqO]/ps'v8@Le8Ʉx )lK8a0A T\v_p =Vs3n~:24C'(L)agYZ7e32898c249b7621b42d565f3df06e6a2b0683bcd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e40df9c1bf7f4dc103554015744435883eaab9c48 # HOL-Eisbach