SQLite format 3@ . BBh77otableisabelle_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 ff7 4 ] First_Welfare_Theorem:threads=2elapsed=7.834cpu=14.348gc=0.324factor=1.837zXZִF! ]ŗXf1-/6vRZZQx= T_<"5DiRm0:Oi0%.yCX%)5yn/N._t-Ƽ f~#";߸z>"M >7reon&=E{8b[ͰLCu5E ѡF5&i Ӫ-X[Ct\=%hgҘ1CH;_}.>db&cW&<2jV˲ F+VI|)5G/ /L[K;- t"P#~$f/"Ș~"*!s .kqց|'W%1c|jO@("?]뻍]ݡӥ;6+uѱgYZ7zXZִF! f]ŗXiɟ饜يmTnGY&luSI{^l6GY A,];A _zjt)8]p]U"%'9]T~Cv'd`\u8yx蘺ga DžFj#9%*U`s:ܼ G'NҝF[)5gYZ7zXZִF! 5z]ŗXi%93<ť{oi#T~1Ze~u ɥ 0գXBc@&xZXX?jI M!4W l^o1=JQ$_"wF&fL{}F.cXZ]e\n}ȫ9a\/h+D/sNTדd;Fc.߈7 EE߅w{18 KR’Y.ۆyorț{_G:gUl"8L{ؕ<TrR8`7[$Q8&ʤgH+~Z]EpT0rhfH-92zvl+Gr}-|k1J&kvPΪtWNe| "f6Z֟5z:Jp0-=cv 6 ks"XӹRgovr793eW~w5 ^IdWa׭ 䍾zk gYZ3384d8b94abf5fac8d3343792d591b063e66203aa86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 450c54405b003d6f4b7501021314e5f7abe09d76 7 First_Welfare_Theorem