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 _7 <4d ] First_Welfare_Theorem:threads=2elapsed=7.705cpu=14.296gc=0.368factor=1.867zXZִF! ]]ŗXf1-/6vRZZQx= T_<"5DiRm0:Oi0%.yCX 1 \h6էC0:%Y׍BԷWWZ'Xc¼KM9{h`mj>E`E`iKuoh}J+V;w!3p'ľJO}f({Je@eUہ 儥e~ M*].`Vk|-SQ;6&h/9CL_iMZY:-D ϕ;qxlNIqVi=u~ *xҵucLV59:=Pnui9&m tG{9L2SR݁gYZ7zXZִF! f]ŗXiɟ饜يmTnGY&luSFA mƆP`2d3"nzz8!gCmKjf1گJu>щ)ozNࢴ=kgIPCWbV?W!BԤ2dCN%T+DrЎďK?sf,X@lh]*4,M૴,gUgYZ7zXZִF! 8E]ŗXi%;Ÿy8/-˦.;!l'u::ZFIq7NEqH@*|遽xX0 |~roy@5’OQ]A w eOj|LR~+Uj#Q &&z'>W6a2O&Mz/ӫuM#Ѭ,9ĺr0oo:)wqbx(?3 X)r5UNTK=iWQzY#&F~p lS},B$Rif2y0{&[(7VIp~}MKYnߝ u~F CF5nվ{MvIGBOǷ=T.DNhuT7W&_oP!, SWg=6BI:&1n?ebht%bc Pu"+ZHy1qkUC w'_<2 M6 `J׮L HnZ4SdZA'TB἖ƾ*R& :_p@^7gYZ9ce8f192406518aa83a05e36e67a87a951bf4bb679d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 197ef942efe1b520e57810c9e607ada8b7573cc3 7 First_Welfare_Theorem