SQLite format 3@ .;  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 QQ,# T $ ]/]HOL-Nominal:threads=6elapsed=6.876cpu=19.512gc=0.872factor=2.847zXZִF! c]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFgվ_\×׾HF+;$l %aGl~wɂλ@.eRF9 SM7I[C%nyy"j T8G}Z%6bOv{ƻՖi$YKA$] КexuQUArc]U|hRz! f2ą<6@4{tQ*)=LJ++=o`bUj ʘ쮑>)P}kѥ'/~ ?+YEtI͙JQ1WBhRfvOI%QRb)pgYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14m*#.__#Ah [fӇtIMh E=@e-s>G\ֶOdBF}8Zɔc◔z䗯]GPeZfP@F(+x@4X#^9 ,O Oca%T?F;@=n:ْeQ>.|fM;GSZPx)j}v #&zZɁtַmm%H{bttṙ~dIFўuSKIAd9[)8*A{f'VkєUs7(ɽ3;J ~VO|lg/AGI*WD얌rm.2 d(+8q?I–oRMeYp^Y@ lIgk& TTXO`~YQS)ݮj 6;*WA(0HNN%UboNt7Hi/wӰu?XkD `F~H|ܤ*I VR_yQ8^{rBG)kӏVlHכ$7F$l~(f[X`/~ >WemcTg 0WwB<"G/%RJZX?Q+'LUrOWrH骍:yz'_s".bZijAJ, kZdY }zPzQ)!+ӽK1+e͌Nc0jʦ@Hh\MOy6PrT;x vino7-w CI3^B+r0p?`M,@s|^=0*S3//Y^hHYT%"Ƿ[Zڇ{A X_qcDZw7̛u