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 aa7 D | ] First_Welfare_Theorem:threads=2elapsed=12.507cpu=22.832gc=0.616factor=1.837zXZִF! w]ŗXf1-/6vRZZQx= TbptqbfU]3_\j)@:8$)y,h:2{آ7,L+|z\]1]0誱(`ݭv)'qs$Ʉ5r6Gt->0 0a>X]1+wίl|^s)AFuE*z6Tj(h=mdqV]i`n TڠwU ]Ŧ&Y}y 8drtStca?:sj'mZ,,Nص. MOu} 5|wA " d,<6y ڈUj=7M?}UB "k&N]|Խ"΁d^g@qzBz%5\`[,ް:FKHUEF u'JnZܚAi/7zi2_VU~'KJXw$3VfTHZj&UNgYZ7zXZִF! ]ŗXiɟ饜يmTnGY&luS[e-H2Bz4Mg_JfZ7TK u݁8Dܘ(CztbްdpdPZoņ"i{L8O[5ϙ+ #65xf-hc8icD-s08N-N )2Z˜tQt-|%d!#]b|$_.88S-%)D#eD@ Ӥ!6E gYZ7zXZִF! M ]ŗXi%>gu#A+R}}4hGA\E~w&VuOkhE`* d(Fq*e;JGWTc2%Mo WXVi7=X*~S)Ŭ+@oY }}u_9P'٧ ^{^rsRb-bze} uwf-eC^j>ݦ\lLTg>$7eqZXL`i[?mVcy9N J y[TwA7l51 c06ɠ͛8Har؈XQTۥrIjR$rtʺr'Y\ՆϋNuݺ㎀05Fh𷟂ȸYC|-*r"C 8!}4(rq08 8Sæ7BJz_tqRP+oH:'.G۹:8%{!Ҷ@ա ->LGӹ?Qn{Jn!6R}(n]"!b8PY F`ǒEwp5J⟊>&l_KԴ/LZX'2bDGK~@<}#t#⭛/ \mÄXbq!c,,rWoUw7=D euJx^S*?!SY7)Y #B[XVf;E;nO˶$;y_’%>_]2E y^ ,~7ٵy=pw~ڡtR;EٽUz 0h̊l8,}J+7(rYt,=䰊i~C9|Werz η 0*^MaUR1|d߱M@ T$< z F'sPZm H˴*"2n -&"V7XXZp\ ] 2uG6:IzjqoMȰ ӍoQ"`We_lfP/VP 9oj^=Sئ;L!.[ Ap({5Q0̔Cz,>PA~N3^PÖ=C'oQP@R~X/%?6('YF,qX-:Sw# I>gYZd890b3432740e6f665c49695836d5ad1b31dcab7767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 e4e778c5b7173ac50dbf40a218cea9980c782990 7 First_Welfare_Theorem