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 J/ T ]% Localization_Ring:threads=4elapsed=27.412cpu=68.864gc=1.032factor=2.517zXZִF! 7a]ŗXf[&!вIփ+LPuD^>wq]v'<vV!RU'kԅO} 7` RTb,7[u6TEI%b+12"-<*t]\GzF0R|iQݵ2͆UeerU\A|].)b #G,X߽ pyu) \ō6PԹHSU q+ iR!gV#i@ODsR_;C <^Qp]%Svp⊫]ҹAԬ|4$9Ot S?^^[e.,0")p=Q0m]lЦXe\c?3&6`EMKQAFޮ9f>BdXJb>옙a&#m/(we_VʬKięVa G2&q?@JSٸSL%@dΌo u o1YyN K\H{u&ː%H"Duk : Z[Gc !_dZϸhn!{{z)J$iEDJ&̆- jE`Jl(VKs/$J"##ܪ`x\x[G|j|du"PT-{N#1sS!QW⾹3Su_<̣֏{Gξsu>fܽ;?K/۾c(g!~>_2\˝>q|Յ#tT{7*c&n 8m -/@&;<犔xr ื8 DzO[*+ bgZZ&cՓ?t8B޶w崧h9x~P)}j)i]n@!36Ǐd Ek {Җ\v5smj{f %ES4[ܸ3v_>1V em}3}8 L0/hJw_*/Y?U]#;}}G?kA \rUƋ@;Y}/Yi5TKnWųngַׁ%,8m.NrѬt>~> Y:#1~阡_S8x|>'7< *#-#AFA{Z=F5.Q T5"P̉CRhU A|\[CB$ձcurAȫ9 S /jf  ~ɋ^dQR*]~Z1{P< sM봃Zn?!NM:bQ4-œhXэ ‘נoѵ$/ !Jmc`AGMw}lnUt~,δo>ʿaqE0ƒ2J=Ĩ/2 \$0MTԊW7R8}6ynF_/ԯy"*T洊&mOYX ^|Ly)1;x 젣 h~OLMol$A͘_7>\EEtȠ֙PgJ YS6NMNųe޾lo/֠"]1O [0{_"wOh-"c@c~M'~`qv`ARNQxȋ: >n>44mgm[.y&#*c#7~Y*s;q