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 W% $T\ ] Finger-Trees:threads=2elapsed=16.250cpu=26.704gc=2.012factor=1.647zXZִF! ]ŗXf1-/6vRZZ-=X@ 1-PU-xA/E@ip0L?nZ`w$-crs1 e=LՆ{]cWm8պmcjk2FPDY16"YPkɤ2տc>R e5hK0bZ_py׌5P:/IJ?D7[pZ KRYx`DF=jO m6 b: ւyz<@LIv*\Dj$.+m&u}qFѧnp߬/t=g=n\/!ۘU/u,,п2sA3#ظ8g%:Y]PBl9jxiwJ%2`5zF}LiyChXT& gYZ7zXZִF! a]ŗXiɟ頪{jtJ" ZYYh(^ EZ08@2*wЬqɐG%E![x+Y-ӭ@4e}w,gYZ7zXZִF! ]f]ŗXi%;C:aŋ"wd ]hGmQ\dNg*?>Mp[ - "/O)$dee>!Z)k]͊If)Uպyf%U%gj}}'ov!GmVsx@D{05Ӂ#ry Pu0t+Rَ>[ĥ/%u45S(wa9~soL0WA+.RLܹkzu8FDQnW@8d3g^F?PĆz`I$4HY~Y(2G$svY (t6&0/Ya~$\8۵[9EtMϐ&>ũ'(5pWҶ*OH8 9 x`5y=ՂlHϙtM䶟8[aM"{==.m~;5kt_;dP ~BX?>-xg^?ثN*B(jІ`<+Qc˔dͫ>E^}0o՘7@7k`*ӮVIf1ės^$NNg0f9S'G{5;c]K`Å+"GV4"6Vbj:H3f$u, (b5|%>Mi)f;JХ 1"m2>ХO}?iᑆ4 Gm]{Hۦ0=#h m{C"+Lͻd l>lCw?up+* g [a#w|]m7 0lW.z[*9RH79d.Ү0CT5oH5}3_ /'Euͭ٧ŎN_$CG`O2wXM\;-5)u"!Ȫ$\!k =$P1qvʈÎ1!ѡc㠮6.`;&8*u# .GxXb62^@oˢGrߧ_kK*?Da7_io*a  BT*L!dېi72o}JXKAϚf̹tft S%2;aH_Z,)PZx*58䧶X6&VH١ajKv$gNxB:s# 󊵪ѝ݋Hfvkm;m »"VgYZ65dbdbe24aaefc268c077e69a5f21d3e4a1b4812a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c % Finger-Trees