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 XX%7 |T ?% First_Welfare_Theorem:threads=2elapsed=9.493cpu=17.304gc=0.432factor=1.827zXZִF! ]ŗXf1-/6vRZZQx= T_?,&=)Eu 7c4/QLO'=aϸh m 2oozSBy{VpKlN~+d s_'}4m\rmxL1O1}{\џF羌C|a#@룈1 6KmȫWY#Q!.c2@/\=ZP6klonfqerRz/C)`s(;'-4~. ),&?=Dx:֌v*Yx#~;oZ6V &v|}}(.K!o yx5UoB۴%gIGQ#[4bV.8.e\-:pfPl%yΛI ogYZ7zXZִF! 8=]ŗXi%6T<_9KY-o=iNJ2-ŔmastibCSfOe#2?*ue흲Mhcѵ ,b3P\j3NIFs(%d4'F]f{H+ ʟ% ϱ!Պ+s5?4c WuS |RY5p 3\bn>ǂekil n.L7>UqUag]tJkdҿ΋%/Czm ef&%yBHQ%jz<W*;d땅=8 X;" TfS<@6HJZȝj< aP<ԍzĵ`xvZF26x_$Ee]d(^E;pAɋ:Pׂzn`&(ࡵC˶PR@8 fliӏn <GMѳ[ݽ7KG%JQ}NfbO^-:[Ds&#