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 n $\ ] Separata:threads=4elapsed=7.858cpu=27.096gc=0.548factor=3.457zXZִF! ~]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^DoB~$\V.cNY zZ7KGޮ^7e*]0]MĊ1~u_lHvo3l=hgb]ʃ" &}g`ifANp WFUY´֠m52T饒rEh2.IgQt%ܚN +FD'D~^~#P.%f7͇`xyI@&̧%rT~#gYZ7zXZִF! 5]ŗXiɟ1J2oeTʹ̰Koݷ,78nJOElNZTjyL>]: &ZK8 NRYv?՛@f>^:^}g&-xȿl >N[h@ygYZ7zXZִF! @<]ŗXi%ES3%cp4{ X[0%ERQQhw!(!h.;|2۾ }c0w~:ZML{%"eZ0iiB ( ".ZMO$,h_" O>۝rClC^XJz `L5ъܡo4'ߜѭX-5"56PWZN5yxNR,wI\u&a~vk"f;[δip>T 0K+ZԢneNOoi^l=hPsꀁ''ubJOʇ1 Y K'Z|Ktw϶T7ltn R–`;!RbWVP(_h?cZvCHPmq):Řqԃߌ]q1g^";ן8 t* uUC./]Kـ̸_՘1 ˠDf}ȾW /0 0APq^ C/o̡+(qVJ