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 66G7 D<$ ] First_Welfare_Theorem:threads=2elapsed=7.944cpu=14.324gc=0.416factor=1.807zXZִF! ]ŗXf1-/6vRZZQx= T_?,&=)Eu 7cJj:@BF- ó##-SnჴLG&e³a1؞t Xd9cƒiq}z(X[q" fZlpTp(qUctuƽnCa]Ro# 7.0ͮ"l~ަJ,Xv$ )"L5z#}p)#+1R ŴO{xƽgA^fW|K(a$ψضotVv@WD 9;J/_\,ZPΜmIHt.1-P\GzﲱgYZ7zXZִF! f]ŗXiɟ饜يmTnGY&luSa[7& 3@Bڻ+Oi_cN`G-לyQH_ϛޅ_^Zy"v4nzTbn(K>j1OCp Ƭ?31l%#RzSJF>XW8d.G!gYZ7zXZִF! 5]ŗXi%;ɇ6ROX_hiadU  ե{$`\Ӓ y_xkW1Iͧ]wUPz6hV nh>=wf#haKQv %>1P5[뷁jA-YX*a3('m[({%03 _XԠ!)pqz41g-~J'Fv|kV7/Yؾ}uEE@=;+@۸c˰iGThX`?oY˾wl?BZ0y3O 9}v}s,F"Pe'Wou| C}6H%rJSƙι˴!5P'A!$EXTV}-bE2JEZ\OYu1okB^Y&9#^oAFpKfoS&1N&j*249f>YQEE*^!\Ջ2h~wIpw  15Pcz#9M$!GɚƾG lSOM㝫[΋գc%Q ram }WSe~a) ,TBY|a@fWvbz+R3 mmt =6T-9^b}9̼uT=W蜍qpmR9Zr5@bߓ'@۹gF-fekCMp/8`x/I|mʐ k;]OH67IzGmB- #,]1vsavN=s"*>X=^H{$ݤ5H;/bU%k͟gYZ863ae31dadc42d6c9208060db2cf3e91ecaac91d79d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 50d7567ba5f079e933f9c40588fc7548716f71d9 7 First_Welfare_Theorem