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 ddLd ]/ AnselmGod:threads=4elapsed=1.250cpu=3.580gc=0.000factor=2.867zXZִF! )^]ŗXiɟH)0%o,S&9\A7\XakYWJ>D=ImzIG&}~:aՇ$0m+[H`|t]$dq)0%m~%{Nxƾy8e|cE?G+zzTb<}iEͪP(rW:#qj)h@鼬Sõ¹b\%'S( *L.dGQ%ԒIaQ8jZ]*!V@2VET4jMo)>ҠOO'ymarȗnZ"[C0_IG7bmf7؋ r 4hNS ԛJ2i]|7s3܈<"Ԝ=[ux2}[Wq$ xj8;ӡznUF(>z䫮qWQ]QJ֗Bk"#~r׉%`*YwI1z򝻅trv4Fh<%FI23#/?jGW  A泭qG^VVщbAˬ /o<Ǯ.@d d3,!ɏ%p-յSw̴8{?@Vt,9@z;aʗ2k!N@B`.(?d_k*Nލ# P\WvgIw2 u_R p0 Ռs)Cd=e;]osYb y,5bJ Ep[-{E6Ю1rp}P"5 VS9UgYZ7zXZִF! G>]ŗXiɟMf{kl'dsU "^^P"B\R%01@H:0ZHW}YZ7zXZִF! Oi]ŗXi%L!l+~\RWmQ5HTd'OFȿYBк>fUٌ=UJ:Br;t `u_1k$ #nY|%`f2L]xO(-/ F$9 I8m& ZLks=E|Xʎ_h4-=UʨEӋ(ݟ-kT峑s:3[i>f )1P7LSASW_Cw1dvq*o "f9iԛ;n+T*ZoΨkWF!o $SqXz51KoU6gy1ްWLYy٫Ȕq)[da ڇ 'S~ (GDP. 9ݍܗ `죙\!~J섧oo"c3Hlj6.(ЎK0ςGgYZ59a203013dedd5074177917d4ddb47cd3da0b3a78215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61   AnselmGod