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 W 4d ]/ ZF-ex:threads=2elapsed=12.541cpu=18.132gc=0.620factor=1.457zXZִF! J]ŗXf1-W(TUK`NDdQم+%t;6(4;0B Iږ ,8gbRtWjtK[wDF6 wϽe1g'%*û0af2EceDرm|;T\^=s]6B YM(~] F 0D=G +d8P!菽KºO0ɷڨ:d`&wN2סhI}ıgYZ7zXZִF! ]ŗXiɟ9)u%Sᝎհ{.]\wn]ŗXi%>ga\}e;xm6vGY$4%*a;/vQ|*ty#Pz$,TqW5!qF||ӥ9O޴}_ 'm//z[u(9ミf6/iI·q #$pft}vy0;"iKkx'8z{p%}&<>G1rg5 &7pv,txGjGA?O#Q tq-#MrvCf$=K k+q q* L+w4qL9tysX4KE3+c.̪׮\wVa?e2mt7>S-dE1~ٿSS] Qlz*jR '_ 3.IS1rm S\UAR\xA8&a4ܥGT0N 3{O".B'YWU Ag@^Th"fu໶nN˓誆;Ns(nԴ/$А~#v) dYj=r?q5VTI+of zK!Tg&'p'7 O2bxBD-Jg ; `TŌĀKFY\81Pؼ3$림֢L/ߊC%{[DjBZ%r'gÊ{C(')i l;qeYB WQ2R- KYqC;:l'b0=̋Q+~z;$Č . ^c(_y&"ͺcǶzKya^&kN#P<8p᯹Cx cx{UJ&Tؽ*tlA榷Wi-Z@x)"s(5XГ}s5gYZ53600f8bee1eb329a5ce3606bf8c98297e395a0219126f922e3aa9c20f5a31237f68a37a6d2cdfb1 9537ef226ff0acac6599218dab9b4d7b8176a2f3  ZF-ex