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 }}1 \$l ]/ Finite_Automata_HF:threads=2elapsed=18.062cpu=30.804gc=1.384factor=1.717zXZִF! f]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj';2efXJ lף(u˨qK mO86(ݪ1RÀ:9(NWc<#s뺾;m+)I/:Q /. W t1AV¤ d ([YRI![) (e.(ð8bryDd4Y?KKdTߎ ' zqg5SguŘzӝx~jЪQ=a]A@#NI޿w 'd]|hҬ^Sj!sY;W$/WCѿE;Z3Xw*xϧ_..HGIm}\Šte__|!(*W&TUM/0YvDF$Hp 5yx`&FYP /4IudU0n'\C1gYZ7zXZִF! b]ŗXi%W~л=tZ@}(x@xM%݉POռy·mUAP1a_ da N.M&Q\h`4<`I15x pn(kBbEPW \pa6.׽)r?n9 əQbEH"YŰ(5K8HP FA'cSt^)^U0ݕ)$ )0֕0GdZ/2$1Wg`koy~k-$tմŠwۏq[ZYNTX>_$<&GYf|4lbg b9We'%5\6Z糉{7I'[" &uBq7Hy³t̋ )>#zI*KsbHFQ0pqW`Eh N[&yVoi۬ AG/o,7;nOyqV (vdFL֜YO49y^_hJ@xT4# ḛ}J8Pww+bJZͮ ;QrV[sVdgk hws@ؕ$e&$/)İHѬqIwp(Ym f`:/^>#袼eSD#qcjM6؍' nm\#4Ę*XdEuvpp ?RTYwqnQ '^jcN WLaefz.&XsaAL: f<ٟPNx$Wk;I{ƥ 8p69ѿmXBo2q^|*0<;:h0o(y2cV T۟c" 8 wj9!~nzkmH>lF&׷y3@dKסK//lA.1(a*n֎1"®Y)tloS F3="s:xA$e1`5^w-%k#DS&N~WoX||4dڿU ƱgYZc65dd8b3d8f4b2cb4e987d6b9de81b2fbcadd019d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 1 Finite_Automata_HF