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 oo5 t< ] Lam-ml-Normalization:threads=4elapsed=8.959cpu=18.600gc=0.976factor=2.087zXZִF! :]ŗXf[& n>x렏☢1DM<=C߰U`dV`Pd 9 ΒEbײ^%;ZIeeK xYxj-$Ԅ|_n?ߟ:?ڨtPv1 )@tŋʸ!'.e_PTQvRhGS37;ZJٲ:([`j pٙ{ ME%u."S2.Ojar.)KOfyE*WC5u]? \i*ܨ-"'*ݖ?PX ,CA$}:U:@Fғ'UtyK·ͬ(>6pWy ,e|&yce=*b& rZ q4St?4G s E6?aph= ^M"'ficAKU> Q[lrXNRPo4z@è=? ù},c.5uCy t%^@5ȂB%rAA# wp c QK#CRUwD7#iE:aH$Wf?a C=brJ>t]8zxU?/TɅXMP"}i 6c?\ L*<ʐ  &i@ XUp!EiOCkyet8!@"icǀc [ >דYtMKBS kl)k>Xй1ӽXH'nY)׃Y .\.1xj_y˃1uHlbgZ"yV e7Sa#Sk?ҳ 0E0atfrl'vxg#:.9 a4^l vJ0 OÁ6&wm۬ P` pMp$߈3=,)JwU X~ї=x@3s5ϚvL*s4>XNloM5Fk#E*?uC<=sqaIJJbtX4yFutbaKe.iq"?6.`,ʭJ98l[>x8o%| 2_O`ͮ(w3՚Z]n  QgYZa153b283b820fd53f0d7c8fea4c18355f2494fa0d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 ae16c42f25525f219fabbb5d5cae55faa53fddd0 5 Lam-ml-Normalization