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 ""[3 4\ m% Residuated_Lattices:threads=2elapsed=28.731cpu=50.712gc=1.532factor=1.777zXZִF! .]ŗXf1-/6vR[Oxtۻ<8(O-H7;6E(8@a"szM8bzǀzqZev>Ѓu4(_c>#!iqB`qu9Q8H.q y߿ՓD?OHw~]{1UJ~s]^lˌ\f%|r8\~yݎ*dƷaԏEHxԧU/,Ƒ}3^A6`8̑wΣL9}P?ȦViNfFrJ\=%j7[U'%1VJ8z o/I +⩎$ڴڭ~#sTmuZxC\6~ ~JU2`7_鬐1ƕʫTm#"@}GGki@\gY[~#S 6==ɳ=,?p"Z˴x[5V䉏GipN{ $zVf|M\MH񮔜CEQmbvW bU7"971ABW.,Q Ȱ8c"F 5/JB݂@ {_s\ugYZ7zXZִF! ]ŗXi%6uT1)dM*wd=@-,0>Lx0+-Y::QYT)zJBWP[cG$ws3rVt"nߕ'U߉HOD10hGsUR99 -dȢm_K5M%oL,W@h~2vc;vrB{>X򼥵A C0mٷ)0z5=p3)#}S"[)ԥyYR0\ kg:DEL59dgY}Oف/}>ˉm7$B QWǀI⛶jl{8 v\(p4ϛ5o7PF2g?GXԿ-%QԍB5]rY֨ ' ۾cEq ׬"E1jJQ?DStۢ]vmiw7`0"~+#=4"m@!ěanOKsd,4+;)}sԺ gm݆d6f|8g,q{+Y;̶7cP!ua=)[s|doGvhS#nnC эL2[:6\A2KٷݤP2kJ'RֈSE(.lvDzsc"V{^UwCAY7x.]ҘNL Jhw%I½4#\y''}a'ʅͯ[52H ߽l}KHO l{wj4iiPY֝@m[Sv{;20싑l9\Ao# iDOz{$W|1f27 BԪ󞣆R%X==fZy8x2ğ*c^-Xj5kԔ` \(wH-[[TaG^ѠӆFQdZ_b}ϴ\x|N{l$'%3ַ_k>ʰ>9!;܃|(Xg7`u- ڨ {O!s-0»30Rbջ{Vjo֍0򱷞KPՅ]m|N" Rg;>̀Ǒ;{q+ Bvnt^Coc셗@މWj/*Z:Tփdc2W(7`gYZ202f91c1d3ca7aee1649520e86276508251079bb 2a6ab331f01713caa21b5d324f1b6795c1733194 4682e5ffb03f0092b8727ff023d636a584a972cc 4d2328a10d4e4e7e2713fd434cf5930940608b89 9b7dea633e1b1d2aec3e0709cde4e11703c24ffd b1ac9833c893dabe3a7786b32f206432c078a9f3 d79d8c48769f49b782b0b5e0a8115e8775c4e424 e23218f33c9ba43f226683bbab6cf88af67f53b1 ee6dffdc2c820925b26acb1eb32135bd7f76bfe8e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d e08e0cc800673edddb9125d9fcfee1b115bccb62 dd637d603a277abf4f510ebc8dc97df8845b45a7 1668fb1b0cf91e0dddc5d9c9737144939100f889 3 Residuated_Lattices