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   _#,< ]/]HOL-Eisbach:threads=2elapsed=3.749cpu=7.128gc=0.160factor=1.907zXZִF! EM]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Svs,A"PD2tJmpB.ҮH}keJG,f"*G ge1PN"PJ}CF" h]AU(E%wrξ05|uW?-{GxGG_!|cF+ԉٯMڞAA^хB8 }3?i /Dw,gˏ|}.:կ\LKKצWU{^ި'QfѱgYZ7zXZִF! :]ŗXiɟ1J2oeTʹ̰Ko֫nht-)vڛ`w<2؝C'cmVr,Lj:m}?R(>8nxӍ(*x)p䍻'PN@*78&nkɲ|gƾBG"Axpyoqc(gYZ7zXZִF! ]ŗXi%92K%4f0x "04eXNi: \Sȼ|e ژ Wl֯hZ48V4+JN[&ҥ f:?-l:@2b'|ɑqX|ғo4v֖M\eݗxɵtj wcJ^EMKC&W*L|í{*Qx%Tطv*Ym^zDW=j"w2F>yOmF>oBxYw&mw=oKoS_e@OO ܬYBV:ϹzS2m9GOm/H uޑNC*9~ y=201d@r`/HRC~UEML":u[>y|,W2V]ϖ!.0 9>%&!˱gYZfd7859b267af1b2d722c7205ce4a0b469b15759e02339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951c2de1f2364864288712ff1f50ce825807e915cd3 # HOL-Eisbach