SQLite format 3@ .0:  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  M) 5/dQtwiR {bvUܑ 9S:}9U*D LL)ba3h*{,YπX{ @"೘1רkW^Wr=8ުyۗϧV3>7 g;[;>g`;֣Aw'n>?zЬ w*ٍrͽiH`3GxF^)fRC+_TuC DMZ}NCz{Ly;. ]}pOOcOP-yfqPvBר>M 'G`I '4 F#т產ԑ1dӽ{҈ |zƄ:R(gOѺ6H.-Be߯뎫/\J7zQ pg93EX+@ه e z?'ff(HHvD3q.f I XBw@0λm.쾂Rӝ}ϡ\_MWs֫?J=o^^7-3ԞBc$f)P^0Q9RHԫ:NI@W65v+1L_\W t3"jqHT45]:L]on1 4/;jW -?큐(UT%$8{Q.O6xg c|0b4P[aWVv޼5A=M~ .g0|*B\zZ/~TQpTyr& ֛u&=m Q-5#PXpƵ=p٦G1Ws4LM+Zn ) Kleene_Algebra  "]ß7lLWYJ*7TLӵkId[;O#7 ~koաK˦Fٍ-{.VNMrU%i9]τI1z`$dȻ?_{Z*;wWiܮ)(;s] + ZK28_=F*Ob3vPѢW K[q4\Pt9Y2]L$K 4yUuڣc&cN# '@sFm* 6)Ki.1wC,}'l$,/=q}ڸT:_}xR,q^tX@vۨ|a:4:xDt͵jo ɉ81|aukBntmj|nQV1':^ڼ$0 iA; oQ= Ms~#E#hlKh58?{c7Y{6@LԇfAt*HHPwN~'4$ڦyB (7Ii3*:}fOEH,YYl Xp* +Sqq{H-{ڷ.IdKOW%.x }va[8M\S l5"9i]zNwc6jY p($vZH#/Aga8^wj[4%.2ϊ@ke";+ s!7wk:Y28!v _<`(# 4R 8Ő@м.@LB ssG !6,l 'QK5ssaD= n60s,+/3D?p6H4~ ȃf{Y/5 y颦VHv.C-ڳ1Y|7i$ 쮼69 <G*"l+فstJ6wqqg|JgEtIs;)`$.(U 6|S^~@$#'l3N#ϳC#FE­Ÿ K+X] )GG! ߧPEnD,G%"q˴RV\7We5h,a00Xdc Hm7nЧAVsTSΦ@2wB rHřA1m 6VGMw/CREশWKqǭ"4a/9"8iJq̜l{_OM'pu.V "v`Lyzfs_SR=]te,H{_E:rr$^{NxYU>2\Ysh`qlɏ0S.5e352PqZtL @U;ЉVWU"X?CwoY{" #V16ezS72vzB0߮vij oSt Gg3wW^1_x7"W^y G/qL^\>&.KB,XԲw9.Ac%g| A%ս;ʵ_p~mGTKn 兒m5Gg6 5^NҗA2 鋑l`m%6Ϳ4NGT,z>"(;?aG<{motlCv׼>d!g- @VZ:{%YʮH, UGK1gqWPvOR]M3. 6լ@z&$蕋ZIbձˬ|uEU/buyi BGPNmw<ReN[1t4V8JoV=/62}Ћ ":F`:4:\-0G#ʔw7GuIw(@l05I5k-UT-#}E? mdȈ II><w.A~/ sIʗژK\#CP=G~$| ' zehvaA3xnclW[xE-;f1|^ >#H}K2z"0a.ȅ<AjkΚ{uJ46DJ) by MQ˿5ұgYZbc11f892f4d954b4d7f0e47f4abd167116e24fc213f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 32278d70cfbeac9283aa94b7cc4f87ef5ab4effb0be4339ae440523d48ad1b6c6881fc29f47408f9