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 ll+ 4tl ]/ Euler_Partition:threads=4elapsed=10.103cpu=29.396gc=1.012factor=2.917zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkNS-M $|3 /VO0 RwXigR& B z7_ ڂxxTX9@ Uy2'ܹ*f@!tqu2=Հ4vqkZcwUCvjy`?dS){"QB(Y09*E ;JK v԰ڥIZ!{OQ/)GqLXf.q2\2=O(cjSF97K]bÐ0xب? qF%CG1KggT6 tN"7ƑFqT,ygYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷V8+KMSd4tM|8P$l]@^7ƣ;v{⸀ t&%ˡxFtF ( 댘Ҳ!ZLcj-,ű4ߦin Q ~:aޱgYZ7zXZִF! H]ŗXi%L 0>S+F^;V*\t'ɩj`,CfΡ oV&3NA~uO`|kr!ޠ=37VXm V *z`>m6IQKyQBʓ ܆*v_JtȒ빥`i%:cٝ*Y8+Ys姟>^TR}=qnGtA7e;fEYM=gƵ8Q[5lsXҧ|) 6a%vY~ A_;$N?0dEm.׮u`~ܺ_cKսI5׮͂nB%_=ՙΚ-W:tq Ta^Һ-45x7j |(>PɀbD5:$ak}ŋ1V}lzVmp{g`3 d鏩ñD3V%2!@BpSCo3M@>|;a߿nH.NG&po&a)hYcZ5~xrf] ybPRf.`268氤t5HL|tu $49utt^9N*$Q0^g2xy>ǚ+ͯ_ Fϵ/j}Ety(|?HQtŷ}ifuR1v:QY9+ՊZgzV厑)5ِDڪlS+k!UnCAb׉7[I9s}İъW odМ(4\Y PԸ&C,DSJFM5K1>F )A>_DV1D>Abpotq϶}9ay$]@6(ơbx9m(Ӓl򴂡pYbI:ʒX&< ^$O.XZ"b`srP}NLzbU=8@`^i$y5?\p8>" Z^ڍ#jEPXNYDCկ>ܛ!ğ2A9PdNڌ*'#XgNkhJ:I :PԔ!̭iԈh9o.U`