SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  r r ) ld< ]/ FileRefinement:threads=8elapsed=5.259cpu=14.746gc=0.119factor=2.807zXZִF! ;/]ŗXf[&$T_%3P^ұ1}bᅯPGx ,X!w@.غqF_PlH҃?92̚{H;G*!_ypJ nZwKZS&]d'JECr%-̺VlRTRO O~|ɺs5][Y |o}QT!e}t|SUV{WN[Wyz[< K'vE@-wvCz,pw2S@ѦG *GgYZ7zXZִF! k]ŗXiɟ—Uޘ[;RjuF1 6^rT *(q(JmEi&lalǵ6=b}K=1l]s{Sou4$zgYZ7zXZִF! +W]ŗXi%>t}|<") 7vfKq0 0utq"Ygs TeM0)4jggLQ%2vo\:.#o+hCFڌzX/ŵCT?,gro݋/5IE״EdtmH <>a]iBmoPl`pvG_Ɲj9HI[oXd$K7<2<]nޗ>J~ j E7p \HGvMqsZ/u}rVfѮHY`pg!|@@a>2RfKSUH8yn#/Er瞚(2Pʸ@t4@zT\mf;7 \xȗ8Ve;M.gm#mus. <|21umI*e2oB7D"hi?GE1͉i!)hԢo@P_]0;j-Rvɋ:_:X Ҝ`s1e~w7q)"ܡ.:b6Dxa+wz q*?lR˭k}Q+^s)1mq'Mp6G%)xy=do wX Pߠb'Qt 0cMu"82ik{klNuU '-UŜgX\=OJ|M7C;7#Is8Φ5`tβܯFW/2MFQǜ1{LãI9Wf˴gYZ69e4f6be2153331261244b7dbc21469ecc1ee3dec58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b ) FileRefinement