SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 N3 ltT ] Functional-Automata:threads=4elapsed=13.644cpu=29.012gc=1.044factor=2.137zXZִF! ]ŗXf[&-ūPѷ_P{0fF8SS% É0>n˝s @s ׾\Fj}zvšM^RV?pBB*K73nXA,]A6>KM̩a ѣ٤ߚ!*.uwtG#WW 4nN#p*J>%}/,>b(0P 0h w5bZ0\BANm5[6{0@s;DVAޱziUm@C;WMݶ0Py$NJMė9h`GZuaD9~1[Gُ ,۲d>QPu;۽dr"܂FӖ:|uԺ\Sp= JZEV1K<-v͋h;𔤛" GD¡2V% I$O[U .>ɱgYZ7zXZִF! 3]ŗXiɟu𮓧xy:Áln~"p&l=@YPthnݛR ylm#JZjtzn b`\l- (@QgYZ7zXZִF! ^c]ŗXi%L 0Y OWuӘp Z}-Vg*@S4A/q"9M\E=8? D!qV$8ص)% נ|.n;1<:ȵ -ΎU!EU,Zo OӢO**͹Mݐ> ՑlDϧ">,U }S> `#׿")A03\2HZ6Eȴ] dnQ}!;aʵ:ezE; x`2NvF6dU?TwZҳ+YkՑ)4#h2<e\|*#t2a :EW(>9Ȧ~Y-t&L;X]2o2݀_ZBQA^C̎"/SD(TLȈ՞o}R3ydW͵M~N3+6ryzhfgv8Ӵ sҔ8PQxw,&Q-!=lc,"v!!Up?fүk=-.kIPz1X̂ݾ `7fH߽Jٔb g< Z.6қSJ0=h =l"i3c{޻Kևv{+BWT}"[xD~=[