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 UU(1 $$t ]/ Finite_Automata_HF:threads=2elapsed=20.448cpu=33.832gc=1.340factor=1.657zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'ڪ=L8 ӄOpˢ{dezb m wsvY"8EЯ0;ENyTSS257@40׽ƪ%VsP*>wmgT/[iHgYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{|'5,wҖeJ6'ͭ\ +& B\ٷ  |ٴ$e;iZCA^WfͶۅB;@A+d岙ŮxMm|coMlo^tg#qa"0&2FGػns&TapWZkmY V"S}7+w i㠧e$SE^ނo Pq #ąP:q_z,Z\[ nr_wxYNvVKs%.xSZd&;85LJ8FDm*޷ժ`jT; n&  H42O#uos'{%px n>Sdr\{2]vc >-!I<$q ej'qBִ8`/.xE2`3G>Uݍ72 *aLɋpO7܎L%=GPJ icaS\%Hkz`G3NNFZҠQ%$$wWz([Nl_hapqr?;a> q\6NjsCʼnv \ބ쬍H&mB"e+++u[Sw8}kh@nZ=q씭]mez[转 ë,dh; PL~ޣ⣃C ;HY7!ܜcC:Ԙrt~6C{=6hO`)FYsz"F\~0W1&+e#wݮ1C .+kQBj滠P5AV}B% ӈʣi;W0P1OSƒW6d+CqAT>$!!+5YGU92j>0#uB.;Wm-b{!@=/1j4|bN r7gYZbc04ef1927b7b7a63c31a27322e753dd6958b44ee70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc 1 Finite_Automata_HF