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 uu7  ] First_Welfare_Theorem:threads=2elapsed=11.683cpu=21.732gc=0.664factor=1.867zXZִF! ]ŗXf1-/6vRZZQx= TbptqbfU]3_\j)@:8$)y,h:2{آ7,1 H\e74stVb}i@d 8\!|Im.l+ r57*SNSP+O uw9HQCP}ֻ 7N 2QO[sfO=c;cE{(bd|ŶUIcdDX+݊ש4l۸dMW1>L{H!~Pj|dֽ$TX?i GB6\l@#/DZgYZ7zXZִF! ]ŗXiɟ饜يmTnGY&luSOmcp*1g>FN& &X-|K!4'aX3+ZG~/ݹ Nk * &Yg\q*nnjf xdhilNݟoeUTىUH>Q&yc'sۺ7+\v pzItQx% rޭ6ᫌ 3c(sp'V ©j!p!SbjrjyYjk,zR)Ohswr>ʪ.$ƃ?znkbXF5 {g#2^VBPTjd&*, ;Z/(h,a.uPhS'XHǓEot԰m!7; в#-ز/csq! ܾ4l-WY?If_lqk >l&SL7!7ɨ" 6XgH] S45rCmՌsv#<׵C $-*rƽvbk3.G6{%+ߘnV~[7>4z0'U;nG~'z~ .8B3*jnDgaWex"jnmLmuHV9fs|$I?bHM=Y [l`cl8H: (kg g"9~>48:%"J(' Mm>bWU5igFv2 +Ojx&!N_@`jގ4?_Q}Q7ҿg^HwxX.*kK%S N`v6.%lPаT%;)(]cƃGHT'tX?.t{\[zI7rh$(tS?f^k!_%ME @ uR* 'y}[[xuO3! ӓUV*W MgYZbef38541275f1177f8b91b8fd0c61f62f3364670a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 c9f2b6fc1bef0792efb824e828e8e8f82fe54c91 7 First_Welfare_Theorem