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 ::C7 ,<4 ] First_Welfare_Theorem:threads=2elapsed=8.468cpu=15.060gc=0.404factor=1.787zXZִF! ]ŗXf1-/6vRZZQx= T_<"5DiRm0:Oi0%.yCWҝ)"?jT/Q(񻔃f5_&+]{ 4LC^uh &֟ CT-xeK\[v2KytK.nl!҆wWùk/͹Uzm3}q- TN4_n%NDQj6iK@ a q B ժ]|sЍ'wЌQXSf-wloav0LvdoRٮeQ{\'1lEbPu8TI\Ֆ<$hpc_"`͞ˍ aC @j[TƧ6 mc6q' V0TqIۚZmBRC$INk[2!ny,BH{G ʰcMbJ H\v\z-lC_odZReFQ8(ʴrձX/w:. n4h:S`h|=S]C~ij}~6xH:gs:R nth^sd2߬0HҐC<hf= 'HhE+=aRjU,sk0Uj /m-kdI/ *Xhܼg`(3/+4a'Hj ]6?EgKR]5o7}5O_kvnRUyPw2E} 94VU3r+~O n(,y lƪ {~:a\QүY+quN!jWPBbC-!t=cSRW$1[X&u:cW`9l_A7L(Ē(rZ8槀8 qSEՌ 6CT<> ,fJu;\-Us[iB3zѥ.@m Agh9gYZ50062b483ff978f218803ffbc2c4ab1c61b24d853bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 3109ebb80bade0add97a25bda6f087f50eb33144 7 First_Welfare_Theorem