SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 33 < m% Residuated_Lattices:threads=2elapsed=28.892cpu=51.692gc=1.660factor=1.797zXZִF! 0l]ŗXf1-/6vR[Oxtۻ<8(O-H7;4p$=,KGP?(axN@u-cοހ#g{*i$mGŔͻcCS b݅uQ\[!W|qu*]*`v">GK"= Ujr^n$Þ)kKy,ҝ /I <,FA)„e* hyH:'==iD^1w߅`YJtW}>P FP(%k[,_J+u;4l?E5[pR{N~nV*K*m;YAysyD5 ҙD|Ibe[RK "e4C 2.p<_B-}樛ҢLBWCd&K^EԦ<틩HX&m($o"6PILHL'_| 4m9]8dBW̭C 6 6IoU95M(6ji㶩q CZ%≭O1V@;3鹣! qQC]m>tvg`_y'?WA tp@qݯ<|4u*5t(ObR1aH#ͯ< ynEwKf;<|]';0۾َ|Yz;*LK޴TD=ew҃ m!n<åuۚȯw1=m5Z#^#V7jYI$ !:d!/c&,w]0+ TSJK\4کg eJJq>j&IY\i3ţ?8I6ӡFP<殼]KMc #܎3ՑҨ_[=}x`)JLұgYZ7zXZִF! ]ŗXi%QlٛQ,L0[ loa%yHxNEu/(4WB-!T$.=eNQ`Zc:yP[y|:'A ).hf:f(CݳI$b 69C8t&lԁ9C6tm8X >Rky:k8.} 㫕Y P5G5;!iF/ gsn (QmyTłHu $jn=5S(6u3@G8 ؇sK~}*LfTN]U6f/V7osw*> EP('Idρ3_:V ,ſwװ=^)x[&‚QҦYYRz/V̱ӽ{q}B(^FejC9e~#h~Fo;X i< /}mBO W-=}ACvF8]XM k*)Q^R}A'tQQ,6J\k֧`7*eNڕ^Sd .3LI5rG._2XCgM2m!  =w $W[&U!a?-!Q"@H?aevN>jZ.iOS>agcYNֱ-ksP9\-"J{B¶Oxoz :XރR#W!W ؐ6Zu׶':楣l, $[hH;~r7 L3Og:)4IH w+ `TY|5 8 D٫0$4FOqpQ~F96(㏷4?pf/2iX<϶V|egܘ!zS2SLk8V:IizȳG zy@6%V^f[?pqI7!vKC l-ʔD< 5xa*s( ǚFx3hyu4 !7t))d~_|zDfrw삞PV!EN4ÁpQNGD b 󭒥L+l M!@k*7 Ypp=XHR]ʲZ:8J!2;IgQ!)U&%enϿ @Ƣ>ƅO%㐱 6kViA+z@\eE|XR'/e$iEJBb+QM߮F;vfUCIbƅ½`!eJ/Ȑ#jl'93B0 W9P) Soh\-&O[z;;7meQBo>-7QK^:~l<׉z `kM51:p\bQ {PtYJ-EUvȗq BUux'V/-hMo<9˜Z&mUSF޸KW$w3viB.OCbЌ;=jp/l!gߎo2;~NuǍb>o ͘*XG~5ACLV PLzTQcAs^XZy=%p~now)8 wyNi|.e{1o'5\ʻtLzTHv]lr(2qCr=79KHH,e)Ņg71EgYZ202f91c1d3ca7aee1649520e86276508251079bb 2a6ab331f01713caa21b5d324f1b6795c1733194 4682e5ffb03f0092b8727ff023d636a584a972cc 4d2328a10d4e4e7e2713fd434cf5930940608b89 9b7dea633e1b1d2aec3e0709cde4e11703c24ffd b1ac9833c893dabe3a7786b32f206432c078a9f3 d79d8c48769f49b782b0b5e0a8115e8775c4e424 e23218f33c9ba43f226683bbab6cf88af67f53b1 ee6dffdc2c820925b26acb1eb32135bd7f76bfe8735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa dedb1fb2ce17009850c27ae6db421c37e92db7ea a1d76d720c8136f35b3efc377670a0c392bc1a38 fd673051a0274bf3d015772789d3b6975427547d 3 Residuated_Lattices