SQLite format 3@ .0:  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 }}- \ ]S]Relation_Algebra:threads=4elapsed=18.676cpu=58.060gc=2.208factor=3.117zXZִF! !~H]ŗXf[&&AINxOforZ>Q#P1?J0 ȗ-T 8U .ZGz"G|eW,趸V(|E)$! R ߸\h y#~I$;R% ܆b۫0uw:&DAd<:hIW)J$5*K9,Q=`ԫU=PUgBEҮ`s;;RwsNR,F,#b.E̖yrCN69[Cu ℄H-a{뇴˟ZӮB=sljƽCN*3@y(yB_Γ:&H?aȀm&`ǫF'*&J|0OcWA6"u7Wcsa\哑pR;E?.CuMa+W6GԚmO9K}_&Sm|ȕ@|=<^a|9z˹#uθ$QPЏ fB8HC-/#=+`Xid˻w^aRV}lZu:O2(dmNA+2u7 hy-K^-M%b)2myvpq-j{2N: }dV*n]}]krV#CegTo)H&OԻWY%uCKz'.[6 VRFjr8`RMR]1: KT>,_(MՋq Cv#[i>8MSBGg* ?j`i+u]5;dQw 5tBt:pe*j's <@ZȪLDSQj5, fZԤ YnUv~A.@^mk૧A oV [ڹ-%UwxE4|Mau9`K}ד v⿷y+u9_Jc0Er3*),=7(jqdzlWO?DFilgTH 9pa=xn7w$L3qM#V{ukf R+niүK& I?z|#h44Vw w' sLJ'pl(/Ӵ|#{RRrZ" CnOe֣;U9 7Ҿ:!@ynRË-廐&Ssx:םAA"S UBQcK/t