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   ^!dl ] Splay_Tree:threads=2elapsed=81.848cpu=101.256gc=1.800factor=1.247zXZִF!  ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%Go/пBW% 6'xn槍Y8ݐ*YB=VeZ:Gw#u:~ga7NP21]1]Q~ A FCBňmmiQl4&Xbv1:ٍGgp*oc=Rv[xI%_T:qM ]fװ_P/^iY\DHN8;>DJ[-׳~- CvjƫcxÇkvBkʇS|O?ߞl_d,ѳPkg@MM ӧCh^0Dۧ&YE 9y~JMvy|[iŋ0#wKQ ?3՛ k*:AN&--n+[|meyA6v=,r>%{s8dW`3ކpۧ-F }N 0OLxF~9 k3_iTI5UǐYC>3-iՃ~0޳"T35;LOagYZ7zXZִF! hD]ŗXi%;BU09}iɸ iaR:C\e" U`׊Zp)[ZHQC0_tb q?6抳SL 7rw}pps ~6)Ձ> >/R#cB)"s=K= -2i,a54!'}Ufu%j65kVb1)7nР M"(VVԽ=/PX:|}~3+c$2 h!5*7ZrQm5(?7ZO --=-kS2vlW 3⩮Rq \ꟼ,ܛK~ ojEr+tVx50T˳A&`npiLrA3hv '7.K'0UrvKdRRbf*S~|t71!m#wp:<C, }zf=:snY#sxb `3!:*y9Ð쫯ĉ݅FmcUݛ Wsk] P=$yps&*FK N[,E& 2¸U^*G ; TT69z"G 3UH#b$VPySZ҇r3=|/ 9Vu z8sI^ bԽEf<2XfA :!|t~%S<d֧S>ÐWH1ۓdeP 444l"ӹΤɿwӶT "kY5*2>p5W^ښ m rs2ꖠ'. Yҭ1đyڄm R؞6!0G/yDžeU@9\-[k_eu^#"5U/٠$T3 },+lHӞ4RԞo^K?{#:>)kaFm>*^R$)LnP\k*ʧ?&~ckU\٦Oی5x?w|ysI Ҕջ#R6%NDC(ꖁsfI^tL8*}~fs6iK+eo5JKg(*Mi,hOlN6j2lGvzUbh2L$VB8G\̌jT]o)a xthGRT}#G 5VF396 c< 8`[| *<tA:n"U.֦m2% bve7b8dTa5k֒Q H_3t@i>FK:Gd ꬍeLSXMKGڅB˦7粠j"yt&'ܤZ{jup[ {{_/9WF. c S/ޤi$|Q %ιx<&٪}"|i?8瓟 W/xmDO#eGOp.$ +^ga6KgYZ1454d7c5e1bbc63bfbd5a8520284077315b49759a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c