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  B B;# ]/]HOL-Eisbach:threads=2elapsed=3.494cpu=6.992gc=0.208factor=2.007zXZִF! D]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^NAgfqrīp>t+ֈQYFc<ဈ3b$ހY0#lס_N9xzg; cw@z6 1AUUU8E`l˙J LYGY$@ tW{z^ZOp:{kYh ba Bx6v!un!W~TΔ$*d}/Hj{f:7,eN "fGmEE@MG2& ^)gYZ7zXZִF! :]ŗXiɟ1J2oeTʹ̰Ko˿HES3ǻ=)o\mgG)8YvYvJ't`7<8$n\m3)Zj:?Cc(gYZ7zXZִF! M]ŗXi%;1Ul4=)H;5P$Gm(`xӤN"!V7?GTxr͏yVK; 3`,"` pnPv*fɭè`5 j-)RGZeRB_+W10dY[iɚN9 .e]_i>{zw5/eyq'8q rӦ01g2Szn],k:qjj66BA<'VWwlcLaDIJTq L&;R&cwHA#`28C>RO QןGir->@͆ḥ!gEeEͦx.=A^dz/ D"^?UϩKq"qX2mm f3<>`CJ pܸimĆzH(fZݔ {gYZ7d2bc35f036f9f8ca332d45fa7d70ae20d908baddb6f05ad5884c3d4b639d9f4b203792d5968e568 8f4009a03cb4dc8972f8428957511cea3c656c5b76d62ac7ed0ed90d63cce20b970b2aff7f8a8ae2 # HOL-Eisbach