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 }1 lD ]]HereditarilyFinite:threads=4elapsed=17.911cpu=45.456gc=1.020factor=2.547zXZִF! B]ŗXf[&pCGOJ]ˬGSu0 w5T!0=*0p0Eb0C[e2$,/g{\Y~E8 K$KeF:j@DŽ3L:Q6Ճt[]| fLϬHEKZ+l+:81A2ۣ>AI7sW^ sLaAҖr 5)UE<,[- o׋F kSu^J2<w-v$`&*>w~lRH;2NJ1 Ec,氪Kb੠5- ʔ,Hi}:L_ie,<%__v#C?W"2}I{]~(ݷ:.2ϕluk;Za-i mBUQlK {T~ۄ?gaV\&1,}na$o+QgYZ7zXZִF! ]ŗXiɟ пPTR<6;? Dg*e6 xF + ,`"oA2x5w )Ku\yoZUǕ%V;}T`Bj\!:MW?+]l^":!ٷU ͽ(7G|oHG=bgYZ7zXZִF! ]ŗXi%Bx^PVIf}?c$4p2e";2tf;5/>t㞴(px~ k-.TԸj?.1ݩA%i4.19O3():[CXQ STB[g<% IN ]4VMR獁`pfОOf"{ֵYy*#R-XǤU2JFK B&Iw{R,;@:%3M1:~qL䳸>J֒!>Bopxs}paZh 񮚾9,򴺚(|%=lX* ?&+(qQjVNeS:Bk's jUy47`\VMP:y# 97A3 2(d੦2^U9)sD9JG!76ٲ+\q]uf