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 V lD ]]]ZF:threads=6elapsed=12.594cpu=37.752gc=1.944factor=3.007zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_T{Z b-Uͧ\i30Ӻk,5Q%jLQ'@$vԕ2 a&?Ҍjm&nXUYG Z#@ڬkMۯ?5A %]nK2WԚ7@_kٹfj @5exM?dmuPb-EԢD@c\{^w?&Yx _v,l_8 bebˁBZ?Z~>y_@.@*}yU=<<|?֯V;pxkJmǴpx0/EC٢1_ybY` ?FgYZ7zXZִF! -]ŗXiɟ 1FE`穵kmE}P7Ɗ15.5A;xqP'W=!_? w;~u, sc٧YuO#H`UkПt}lyv"!^7 ӑW7Ն!_ h jQ6^ŸO2w յ;֕@[NumƍRڈ]ŗXi%;-G ͏{kZr'dp"+:I%:m6?QjM.vdwH~NۋL汤vC6Tstx2Ѣ:\rT L^RC\ЫfڲaLez׭gx5"Ŭg-UA)];/A2F<4.QCxYx-v0CG7e`~*)\fG 6}읜'Ҁ/lng,UEO+P6EfO9^Hأwv;sgD& ]<1Y73+]iQ@#9 )D0\CVdr\t=z^rҞ+n]YfVt:X&?pQT!u@|6SMă-Qt(*]\`*bkSܳ,.YÅC%vj( ,H`j k % 6tpG }2ȟ≿q]-E%Ox(jm_F2ݕ? |~':KնQ8'gGn){Q A,AYx9vr(Ga5F4Ĺvhg 1WLh(UtKW{M}ɍKg[cxW <1Z[X0ئl:3eQK5ldbFܕ[ nb BI46d Vy`8VhZ{ߘIBiTl*iV5pPJ:6YO|)޽Ѯ܍WXx3E ˳dK$4%'/ORmaҌ<njD5DnF-VߔqqЫ''\Yp43jkQ6<$UQq?" bpYN96;O8# 3O