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 T1 \, ]/ Finite_Automata_HF:threads=2elapsed=17.984cpu=30.956gc=1.316factor=1.727zXZִF!  h]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'*j +M ']$O2!Pw ŲP蹩૬eWBuVXǁb%F-nV#V`ՍC´ו_)I ؝8XrF^!vrd#N)wJlБ,^UٓiHEgYZ7zXZִF! `o]ŗXi%;::Z I!=rEsZpX wˮM8@6.K2aAF`b6Lʿ)ӷOc{D _ʽJ}A`7$پH|E)M:Fsn87OV4#& IP1޳4gT#&9y?LۜבZxf;}w* Mm#_ tF]dA+* )sS$fh%E!uѱL2SG۫8:nF~kP3V" o@[=$5&+tQx&7t7EJf֔w|*Nx 8ŖyI] @>ݜĕѠB!0\0݀)~,Kc^ شcr"a+ RбgYZ38322b6fd5191e036f31d1538c9c17c680f4879119483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 1 Finite_Automata_HF