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  $4 ] Trie:threads=4elapsed=25.862cpu=29.936gc=1.316factor=1.167zXZִF! 6]ŗXf[&}ynZyI k|KEw^]am܅j?Y(~pZ>9HN*{.RCw%ِEg> .N-/"!JPh0]lΫ~AEmŵBc醞BM\EVX$ 5~O&/(=Z^ :8O;d۠u=׫LR66tk6vSI[_ZU ~/3s,/ ygYZ7zXZִF! |O]ŗXiɟl٢ :}*]E@E\=M 8m4Q0QuapK|-ѩruG'?k} ;}YZ7zXZִF! ]ŗXi%B4f𧧝N8`Wk< b$=Q?lbE࿥ZOFYd]<x;71 TjAifg^.F8 idO< ]Z%ܾB19l傭gv xj$9BѫOt&4=ύI@ceы{98=ZaՐf7IoGQq`HY?Rni8$10h1)U TsVQz]cO[~EE*gj*h;;3#̵ v$OCcp$su,ު̜W|Pj.U륞'ioVT Igia!3TGKz ^7 |tgb X m'#lCBN{4~*^M>_ĆgdR](gc/9Dfg\xb2Y 'j2 5z9{]w9.kUCwyzoAӨlP͒j6<"~&[j&c19:)~!wX#3.(jtJ(MTmŇ{"8@a5 TQ:=4~ HqCv;BU3] 9d >6irWtgodsRq<9PQ> ^LV=x9^R) %aa^3xz>] !v'F$sq3O:bb喰ε3v3`7ll,pQc>&/^*LU' 256,޽L}|yΓI&:hżq?8oiys̎pgxgi F[6S̀n#t+6|CuDR ;*Hi|ko3pQƌ@3 :\?;uCmq|wGy'lt+C0kȜ0p퓍9/QWIa% u,#6a_È &L 6I<&,oZ=R\\X0WܸIGGe¤ae^T7K}o; J͆l!(?LqstLtLKHK`3=Rr4aF~ˆ*+Α:scƽ-8'xAFD SV-37 Jŏ+,![ǣG"bW+1kА-7U*`06P'Wu88 >TrhH SÛg˓et.wɥZdZP"E=t9eT}wxeH5;̀F^BڔiV 'ħPzyi[L xEngYZ476715fcac6e497a27a0aaf43635b05f5c1844539cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c  Trie