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 w |hqfƗE, -`D\h^ 8y; Z@Ş$ҼW+ }VH>sQ{7)հ4^ RW1|&(i":TǬfj"TAAGP( o8lˌF w< ѱHY]w  dXkA/wFc"Y@SI:kߕr6eJSY͛/mZ>Hv7"d|VJV.!(xLduKP ^X+f7^#Ձ2mseMLOEt919Yu$AOm}Ig>B>d/mLvY/_a(v;ooK(Ŋ6/ ޢC-kO,EelupBrgHSϰ>}oajt.?yOt{_DJ[L/G.]hOR̿νgpB3OY3G"ŏu|j/r.M8j{yyW4;}(*XZ#/涝Eg̮S3!gYZ7zXZִF! U]ŗXiɟ>Ӈɇ9S2]k3OiIq@ ]*2Fg%ILlMkD9H⻗6ћk9Lx^ O1D6|WEE}pjiڬ{A֩/7\)NQ@_tN+S\ ^c&^4-NQqcBR 5)ڟO,I#]c{e߻ xe$!ňٷx*0 v}#(nCc2H|8K(sr|Y 1A*f^zv'QY)QR|).J{`*saoav%qw>)X'҉ ;$l2*<N֙l N:2?|A3vO0T[,dmP0!szh4/j3O# ҃|w:-ׁRrv&UՙaCQk-WsEu'߉A{Joʖ8-7}li$LdǭRDpks [Weʗ8͢yRdv5+u eB+ #L7H1l做*Mex!>kWeOD5uSdŜx !c0c`v.0J߃>ˈ, pz QxAJ|tzV~fWPxS(8;"V4Ncߜr,5'l N*^O@UvSէ/)*WH_46gOJŘ vxf1 ׆u8 T ,pVyWTHu;(6)Y羷&uG@)C"5[gN'J!8b;HsڊȚT%&ݴCF}[ĎCywKȿs#";QD+ R칲@bu yoCEVmuIڂQ<F(@}Pσ5ڐ^A̪SZɒ]/,W4^uLE"ww-(6{{*pV%i@Ȃ!daPHfn zR'nts a'\$0#fa̯x!t)>C{{K >P;[~z ܮNaqB T .TرgYZ93295855a69f60303baf09e957edf3cee5358d81f7c715a80dfc5d6a73b803bb3fc9916dd402c7cc 92fad740fd10300db52a7965165ba931d80e398ab9336f6f670fa045d2bc2dd3db215da8b6eb4457  HOLCF