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  L ]/]CRDT:threads=4elapsed=17.557cpu=65.588gc=2.976factor=3.747zXZִF! %]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&X5T;rs ֜u[#!Trm2[ a4᯸+m+â 宨=/\'Q5Wٵ虱-iU eY ~'Tf%~ Tc;2:ĭBD*zRt*.UQ]WL` JkLm͟A׼*UBg,êG {R:rLJy(ſ U׿`\pN``,0{o ov2j9@wOa"l uFݹvY<I%1},j!; ߝr:A>wEoR Ŵd\=J+0OՁ1פYM}8/_I2#K0.:R9#D"_=F <x85V>_a<>LӜ~pAXc:҃K*YMI&=5UmzG)m('4f:EYq %"i 5[4ڴF4S?HZfMyDtluBi_1tg$PggӖS ۯjsA)6H1 `jN:'/=l vRm_De rO) #wA[f$)|1>Khi0$VmZW# 5D6A/Gor, dG?~Q[l8"sowh dY yST>UoYA:dqq[ I^C?EJZ$81 cLXY~8G)Lj{n:xUW&zxaNcCf;WZ3X"w*l33ϡ J^1onZޫmiOU1?eyF^7hk?Nv@mƑS_lm+젇i(hRX}{H -(S_ 'Vx" cz0P/lA?n, YQRteA KUHgYZ7zXZִF! h]ŗXiɟ1˦rnzx <@0+gMLN-!h%l}0;m" ubvG{X^MW?S"ϔ#}JrGr'}}51Q;zíg;ۄo[sk#a8w6tk:Myqӈ[ ZO*%@`*qtӐ2<•H+r=U0\5|V}䛈cG?;[Ô]z .N6Z8)Nq_ApR hR Pٖg?Wz1#.46 m̶?P$@;y]#cZ RFH3@IJp0GL"ye7=~Yw!i r.=p,0B!LUrR#ސ5ɏOQC29aww 1<,wCݷHJޝXQ.wŴ>H3oy}-jm]R"I9wo2ͣ- pw #y˝ZLMt ?:9 k5Bs7LQ9ŽRR-GIMWmgP8hɅ".(o8RvBYզhL@Uig ;!]5~5JZ.:b0u1fQ1Bk 'J"b[fsc6->N''RM$T3ƥi=X/+%pQp3bs nk9J.FrW