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 )  ]/ FunWithTilings:threads=8elapsed=9.389cpu=35.124gc=0.286factor=3.747zXZִF! o]ŗXf[&-? 4gD6 HƙzSbx U׀HcTve7bdsJYze &˺( #ܲ^wIAA_$TOw{IGEU0V[|%z /6V@UbC[UbV r)]&FwHVQd춥Ӯ^yp!jzѮ,ʊ5Q\~t{й ;`r;p2st'5x'F_5x'lgL,Q0Rϖ_ܡZV}ɻmN OHHDz; eKm"kbK6!Wdա>1_A#0]*a.:@-I4,hcڥ^ꩳUm g8!V};£ j18ny9<|y{%9ėDڻ!@\8U߯Z aV݇lm꣭ ζBT`svAIHVKN {]~H|j,ifw~憮 ŌV.ԝgļ]"\$2_7"yTxbs7bs&8aHo@0{Dvw𰐫"[hd_؆ײjWoz Bhj0G{c~[)34Fd]-skO!`!յ;Jܧ{n dVֺiai?)vOs~IIjhc-{A5le(S\D}^&|'EuAHdE&gbt-d23yKθ (cEmn%O Saf f =(IUp.!G ;ohv]J#+jFdp6p*r;:iՔr;H7\B+wxx20yQP&\3 W 3edawZ ˤGg\LM9!*\e҇ WF!>%Uwz5B`eIwZM\Pg(jPQ/(d{[pgzZ5Rڈ?]$oQvzgYZ0ec5516f8ac885ce5a2a4a3d75b0333ab96015b6c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b ) FunWithTilings