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   q <,, ]/]HOL-Word:threads=6elapsed=9.967cpu=48.692gc=2.252factor=4.897zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?zȴl?}tœgLKoh(뻷iHdZSC={&BGQOZݣfA$: Co{Lu^{0I*"nkiF4R:m'&rW*L)l6ڑBn_zOJR^g8(7~ޔiPiRm@@͖2'$ d=ya9&1 HK~`79Ԋ2z Q:r$RƺC|LE;tnz؍c k}?@)z X@] (*f rJ.e6מ$)d\J(US/'gYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.A,?p#]k}Umsԟ/Z9 wZ#n;(A& yETc4 SH Z+t5G~+PPY<9Y8ѵyU؞q_%^NFTrh~V})}]"@ZRv,0XOv´j=t\A@9< O*ߺ4& mD=|AδvfCKvtvg M/[Z \[;fiG; 9v5/wU祔޽<R3 +7 5LSqg<3P,qz!xiH=Qύ~,1I{E=\iL̞,G]n`M{@zWf;AtTë$1IgIGOM) kW[\[^ֱOFpQj حtz D[/nz зyA+ݔVڪ=F+FOFl_L|+?ؙw0(,H:);TwMr{~j˦.NF9RVKϬs{˧5s+I0K1^*Q,GEI$:n©2C_C9xp[y?i'vA-sc2dr-o|?)[9λ Y8h'ھG5 w왁$ <":Z.?z) B7P&ҿ(_gbJXk?L2q]ز?P`QpLDOF^Q $ bHv﬛%Ze:"j%Z?j5,#4Mv7NͧEEÓ> 7 91G jj[H;V")& !@ԶU jNi:ä7Epwh/n[MyzzBw\JZ> ԗ+AW#(dJ`Hec}ysnf}j@J=%Թ, % ?1דʩ:\n̅" bcJpK}hl pi"}{gYZ97dda6eb442b78ed85eec03b40850aed0fdd5ce12de776be54086cd6f5d576144c34608108120821 ee9cea67cd24ab19209e832e4527fa2462c7f652f6b7a5a3a5bbfce0a6c2d2780e92ce513fbb6572   HOL-Word