SQLite format 3@ .0:  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 w |  ] Tycon:threads=4elapsed=6.735cpu=20.344gc=0.908factor=3.027zXZִF! ]ŗXf[&~=BVT.E>8-*O-E9ȔD5!?{bY,ZMoL8F9Mu7r_ 6xPw? _ ["Ć:QRJ͋/>/FZP8̡w@Y9"EʎRVIEi+l"7W~1.ubwOԁ/رgYZ7zXZִF! @]ŗXiɟyڳεĬYpa`XGKLSh{{ZDqaCn"b@9f#ZpsFb`Պ.s]9YI;aǜ0WOYt6gꖙo:"i8Z K@&Đe)\|]EK5҅W&g+2_ V];2>*&Hhp$vHTfݟD -[G0A]u}I ',<͉z0{k'U;74_pqN<%?hq>xFQ oI 'AgYZ7zXZִF! =]ŗXi%GcřUa=ZA&gCHi~3Ɇ{ `#\ri_ z1rKW?G䃬s0ؒrRNKLzgSOFHN Yi^U/Sd|D5eLǔ(kOuZLs"Ӟ޶;eܰ1LXrasp;=D"-l'4*]#5OYiE$cB?Ww@8}Ol z>K)ƭ F<6>^,;2a1HA8_7Zxz'}pox@OOGlLmҍ )f&;ʨu&x bq7x4N8J' dE`%z˽\$Юf +aQWiFKs]ZRM|~{\GuY\&K)VC+ҵ\ۭem ,enkHǀaĤΰWК6j Q : JŷGZ{ iX;N1ŪF+W(Ste%tYr]J6a9)*:e+l]6IH[RUryU{ih[cCw7e(W .W9uG f\Pr&ݎ:xd-?:vly , tuEM(`)*fL$V@9uBV.n9>2 Um" u"$V~ v԰LmD"':BugQ'@#ۛNĹbZ.1 9C18M-8BS]g? A p3pkN >jTC_34R {[RE\_eJV:r΄@vR(O@P^RD̍DjTO}H5^n^d<_JH^ ϜL2s5e&v82PLu#r웣 Y醚qMX8&mP;LȽUа%.Ԅ9_(ľP^<< z^bgYZ66916aa17a7b283830af4c33ed9430972b017b981795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 946967d0ff27c8358b9575a3ebfa35088ead3814  Tycon