SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 R1 D / Finite_Automata_HF:threads=2elapsed=17.776cpu=31.356gc=1.168factor=1.767zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kwPe :%&uq\ uw兵\CPFO&\J!WC7%>?Y$hGû"_!jj5zkA}G;1.iBʆCXJrAJƀ6$d497i ")ͥ5=];KpҰ[Ԇx@9nnd=w~vbnj |Jka$0S3tνCڿ$,A$ln' r1ցU裌' Хșƕ$ ?|;{\GԃkvN%lخ % % 6`s 1FJ7-+K\|zͻ`o g}i¸LO.} -Mqe${y"b⾯.ׯqB{.+UhRc0Xf;-FK.6_`htsgl;ZjZ]qPEɌ8|`{u=a`F%3DzOm&RqB. !v,z'P ٳܐhPmxWe]~Q>ܴfOx^6+30螅kP[8 eInzpyGkkTpzQޱߝG=Z#̦GGc]+#h`U*`)bɱ