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 JJ37  l ] First_Welfare_Theorem:threads=4elapsed=6.575cpu=22.832gc=0.524factor=3.477zXZִF!  9]ŗXf[&Cڝ0I'0M C)nEnKd.2xTSf'Z u.I"7?v`Wq)Q頡Khe8Rсن`2fE7*re%z{QR,3-V>Ug,dG W?A3x Iud&\,ZQH"PKx5NS藨Pۜj^eG:):a+y?a<7)]j]aRVi!gU)(çK7#ȴW2CkNq&8ވGi\7c$OјƑZl/l3]cOrYWӚC41Mn.R"$a05WлEq%Jr`"#$U.qFaa]Tİ>EPUvp/tC||;Q`8PezC?ֹf. 9Ds^%A5x%v4?RiDѩq)Aظj$3c?J*0F(gYZ7zXZִF! ]ŗXiɟ饜يmTnGY&luSGX Dcm̯ܼ'V'*cDWU,"p!֑e*^{jA|Vkpdħ 5@[4O wgm֛-!|P|t]gi-`)s,Ȝ'|>za@I5^ؿ"S f@lɠhMc9zX*`iEJP%]$jDB f{gYZ7zXZִF! :z]ŗXi%GN;smP"%JY`]}졭}35zrpƼ (tfQ5a|j$Uu\lFب4m b2Lym@Gsg"ۊ~[ 6$ɭy̙Mń7եʟJ. W2$4j@~۟Ě5k*c9  U7$huum8.r9:>)HL1WixTAdDu1k/暹$ɡZj;PDy|&XN{VxI9ęLU_pg;Qoa]/=-*qCmgQ xkm;h\ޜYWZ!%!pי_02]UOAhe遵E4CmʫG8oZsQpTu.LTnR(XaDdH}(A΋W"aT~A;?? +[}E!NLXq'Tϗ5,aപ9d RΏ}Mnm!ucӤS#܏Oyf@˾?d^VzU`\JK8Q8nmN^edKM;gFWZ9GCL%wCgVjeSD[QuSY˜%!1X< ߈c iX^rC2dĠw!D0`])۲Zxʼb][CfhKT}>/ŖM1 }C`vMK &'V~DPw`a .l*HVpirVTJ ^M*<3)*f? tI9gYZ960e3f2b234a0ea65afa6a9a5a17ef1f546691de78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 c8db6564a7ffaed04f8e9e08ffcc3e87fdd94065 7 First_Welfare_Theorem