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 $3 <$\ ]% Residuated_Lattices:threads=4elapsed=31.910cpu=61.928gc=1.448factor=1.947zXZִF! /]ŗXf[&&i{*‡HiBEkև]?<}KvXejVPp*tO/D+aAEhUg N*XwoJl^<$M<_wDM,g,"/.3Tx/Jg3ڧ>طK>FkgIj(pI)6Rt+!0hdC?úB1>F!tjPܖlsTPnkrڻy>;Fj\HgA @8U$l֯ ^p lk.ĈsD7>H]KxBQ! ̕k*(T^ WN+4]̼* 3 Residuated_Lattices  YрAZ7xvD,%vu8-y?ѐY̿Lc;hM-]2jο'Ɇ# qѢzB=}j)>Ǭƍץ zVۛ㟖 J"ӶjHՕ|ZAW[ o9^keK0sFply dcjk&yYXb6Lºb/$Trr+q~RۙϫS o5DJk0 Wo" ,Yvu!eK:f [Co;34h{:'׎~!Zw)HOq#5gi֯'wPY$$ #,IYmk;p=M<lE|9 w?&#Vr?z&5obsZg 8F8.f;D] ?bkwwywdzZCބ,z x >1 v/Teġ{MV3P|6hm' k+ɳr]0L~c!d`% ^4\5,MUlEcu(MAY2buf; a4xqL TWF8EZQ Gz:<_pgYZ7zXZִF! <]ŗXiɟi5)9ݻs?lҢ 9[3␽nnx:ڬfC{}(\R% w+σ6s,sylS/814D;RDCϠ.//9VdnNWtؔrtQf:_Iރ*ypX7!l KT!bX`+Y)7=Ti;9ֱgYZ7zXZִF! &]ŗXi%B)HA^xt9mrABk՟2hƍC. Kȷ#2;2q)N> mke?_'Li:A%8,P"U3)$Xit K΢(Pо˱*=@T#aL>{7m?^K.0x`_˃4?V|,%]&7r9zR1ZL.zά ؍tўez$P6`t水a6!R RY3GC:9RrUNBG3):yP?8gBE;3yD9tsGDSiL+3ByP9I-KN,+Aj\!Y[sT2z%mwZ)D$NvbZE\L -۸ G_լOtSqKz}1m7*G!XPZrpWf) LآA႙ 5C NӢ}W$Yԃ.ʃ6z:; s}G! 7` UHˋc86Q 4KwLs:ke2"NYGd;u]&pWM[lXqܑ*Ĭ#̇VX!nX {׫|ٱqm4F-(m3A0GUkLpL/ X.7w ?IU \175K>Q{A_Oar%NKʎn84J 4R5{9ɣW ׺<6$Q{ࢭNB,Lۡ 3%ytMl68tUMBh0DrW^k` Y-Sی|IT$Vn> -; ܂--YcOWy7XteOj%ˣ{!>%ev 8&H1p)F`b& )JRugz@S;z;ZŰ+(0{s~3[t@9bD| W!ٽlQsL&:a4(IRM# /^RLP/7 E.ṟ6p "orbYy[ц{c𬩵#WqS;j| s}K0M:LFKr2t[`u"--}J~t+ w!>QxP9V 4t3f U݀W9ʿ{ QӝglkI<$ꛜ,>.rx9VzT1RoE]Dԯ "p ]dJrYF S< WuÑ.}p95>S E'b‹tE%0 wX/AP̣Ol% |b;e,.VdqG 2ԦR > \|27so<_s:+U[2&.gР8@:GnIbj_1ܹ͛IhGl:vʹaPSla)rA{/mﲺnVCzƍ6[gCe@|ŶN8TxfW F w$vHbm>+I-;!*}<|c^ mh2k# #u