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  ,L ]/ GenClock:threads=4elapsed=2.161cpu=6.412gc=0.104factor=2.977zXZִF! x]ŗXf[&CJUN`e3z@qÉ GDxg:T_1jl[@>G;#Yok"$e}wW: >XLGӹ{a揇i.|`3K3$"_*eä@UL5O]ŗXiɟX/LO18#jS:t܎P}߃Dƀ'ouZ!MXZFPm}YZ7zXZִF! m]ŗXi%B)- ݲHgƖe%h@y03|@@*\k8`~IpZHI6+GjeARD2р5O%$ۡ&I݄koϣQC# poUY|]$%s}g:~xqMKV8zhL)4t!*^|Lq`nFF0^;զڃqT)2Ehj"d*|"nMΫT"r(k3d!`viQ[`1ߍg`XW 7cS^Pc"<%8&̸JVp2kM(&cXyxl>)\5ʦEUqs6/a%뉯uEGpGӶ { lCU4kE@r&F,QHU޻ F/l=(Y Fm 7OvA2,i酏*-tk]Xڇ=A5-G\BN蜹m\R|,tD,#+O{lcs-AnBDZoJjYD6@;-~n[e=mpH#[j}].VC~ ʪHwUi)HR>V䤨;OPh$^-SP<ugYZ404fe5b5c385465b6a03c35ae42ab8853fa0879a76b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1   GenClock