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  VA:=)&Or!-eyfқ薎FsA{N5E-d;TUؓsrW6В%)-@(h Edɖ9u Yϧ8EuiYSbo$:p; nyF UI+h@5&=|A5+'7+GsSi Ny H/@#J_4{8)́x Sv#vt,uݿgȅ%dgQ焬uwľ]N%w!Gj)Urc@%n tղﯨjnLgЮpRInRG1^3c{mcv uGD!꿴zMva h55:6O^\.+*mdЦT)kr~Q0:\풰Pg?Ej,R+Q-!-?۷g,bg{lJ+XN.SAFۇr##4Z•Ou5l L5b 3uCGoӇɇ9S2]kAB SFӂP"x _Dk>|~XyRdAD)2zvA]t~q; MxLyRIP/[0{E>$lx kQU{$|1s՘85o,^er!CF7q0Qh֛dfD/9\(6C<"RX іL{!)Ğǫۄ~E 9 cO&qgp=Ol^~DAy"jل.+:߃I 20)xWEy+ 8ʌoZXX-9J˶f:Q3$OAtKc\&H|җJ‡rulIas LʒJ:~ԇ){κ63%ǖ Y`; *[~:D ][k#=Ί3)r+0.<|ڤtʏV&JpSJ{ Md'5SjK3y ԲT'aڠṞgYZ7zXZִF! AM]ŗXi%@fcf➆>30v`5`?o8n 2NIьU3%֨=1=y%eRf3Y8{g.Ee,['0ȌnU3;wOPqPDZ:9vNĴd%4G++ȃ4%Ǘ6wAaUșj9|TJϑB%,;(6{} K~=6nE.̄AȼKkbdgzdT9囗9=8 uNDma== OpOj3$SDRؘG*?"hߨsAtRE{yJx`@F`ek\ɇ ɘiLCo4c7o,Nk`s2L @b)ӑJ^x;Pݏpgm\a.+AAP$6SCrMVAY]PX ,+HnlKŀO&hB˨ lHTZ#ŋc=fAXajca,oÍY8D6ƁZl/CwSˬᵊ#XeMM&9tP~&E!89~A~jc`F,(ccUБZ%Ûz3u}>y bΦ=f}V AJHy[tau*U.M7QXکhFׅzQFe#f_L KIl!jbbo)1K {رڿ!к+0wlTDs|V6n+ ۝Q=:Z@p2MQAu68HD",>>~,{V9J^:LhĭqMY//ꉫq-& t S*x^d2>xN\md~]R *QUm9a*"7i3/raI$ '/jxUA\R^=^%<6ϿJTx+v%X QXatT9eT7K]`j `Il`IO&$+:!AP :$lעŽ gDW@k~ ΂bݱgYZ468585ef4b58d3839873b3ae1098f445da7b2420f773f64b5324612793822c6b9168a199158bbc25 919d4d74d5325321cbb68f9d83a169ecec0e086e13e83d696ec4c49a088e7965e82fa3404d26cc5c  HOLCF