SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 Tt ?% First_Welfare_Theorem:threads=2elapsed=9.619cpu=17.468gc=0.408factor=1.827zXZִF! ]ŗXf1-/6vRZZQx= T_?,&=)Eu 7c4/QLO'=aϸh qlƍ>o Z ;13ɲ-C"S3(Km=0bej1*@r1~1=TP&}kT>Y)0lKျr:N% kX+U3+俑c^ l!,ӥY3G[l䅞Zˀ^Ln@P;wЕ]$ú+H쒀8+\zmbsِvDzG}Ekw+!ʡZ㎏AX&JX.; ~/"r#.eIˀ21#62D ;ޜܪVD>e'=L襧I?{ɤS0`m01Ɉ׊EZš((V9ןuOhNK3CdCmWϢjjDdCm -EWѳEy [ܚ@nޏS%3&ͪЛam`vB8p7RP8@ǀmtԷPo5nsyԝq"+1Q"r[<%;o\e*\`JRV X<[`.D]nzFr"Đdwh.YJ1j(OWq2$s~3_KgXCyFoo7+ʙo Q˒2V GgkI'gk qlڝ&-DgI=rL]|Ug[u@9;jJiEHV(@l5{-['BuwNRXcz9*?vYGcx..rلZ>=ؚtsdCG\s^]b}Lgʝwd,$ Jeؑ<jOP,ٶX)vkj0 g򣡍M+!@QeX|]gi.9#jm' J%T<Q4WE6!S&-?pZ"*gYZ376f23453798e30c48743db1daab8bcf955414c3 3ec668d3cd2f98ea984a4995097d1418041eebcd 607e4a7874b42b225d0ea3841736f4a9b7d601c0 673b2d20524e0fee19e2e9e6067e052fffce20d1 9d323bd23bfca2b82659a4528efc34644fc3bdfc b4dbf150fafb8fc7cba8366e78fa5a54dd4ff2e7 d1017029b9dad30a2afb890a721559dd83d2af98 d152edbaf601f7a421d4278eab36e6b085c2ce83 df4f09d54adefaa9fc4d60fe05c314ec9aed047a e32b16703a3549b4caa0d0e001c210975dd581c0f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 7a682a676d8a84f583e52b3d25f7f4b30d4e186a 7 First_Welfare_Theorem