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 iO 4D ]S Noninterference_Generic_Unwinding:threads=4elapsed=18.716cpu=22.736gc=0.268factor=1.217zXZִF! 5]ŗXf[&zV 4gUMݠ}T|-)֍GoB'`\R(5FĂ"!q%n;f2mE`3Y|+x%3Suxa19-n}4*GgC(]8bx[}xk']*h 3p#(^,B9 ;# |`G'D5X?]/~95۹w^4!#s zH"̹9w UkbఀoRr;%NWilHrԈSqBTǧDAр#HھvŬj b(1|x8*>j"p?U;^_D\9^  g戕_ G 53:VISv! MUGGơ3L9&F}AczJLoW6nC OYJ B4fGaoPSU0u˟M+'ൎ\`N򙷿1w2q8y5Xdo\%+b3WHu}cmwdM%[_*|_ǷM^43N/=6Gfmdž"pyBl {EH;"ÛBF)U$~-BiE;