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 **S L ]/]HOLCF:threads=2elapsed=15.331cpu=30.124gc=1.740factor=1.967zXZִF! s]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_J\F4QD- v>XH!q+KFT{@|<0~8őp0-A,y¬iy05Va6\ǝuAN90w)M:Vai{{GTf#xzw[ L-Xl3s8 ynlT߆5>rJ!Z&?JM/ UK:Z9,/ͥ׿2j naH IA/'y<_wWE7K'_N!cP -RjŖE -M ;MHUm}6տ?Zt%Cs[RJCqEHZNYQt{4}/VB [KRLwznl7U'UOϫc-jn ?\knbbǁ=u`MU!{L)jSъD<qxprRW *hY xJ|15S;Hق ŤP6NRGA6P>GH\>Ȫ)dgYZ7zXZִF! 9]ŗXiɟ1˦r~KunύNN{$䔵b bDS^dȡzlݖF gYZ7zXZִF! `o@]ŗXi%;a36A5P^6ky`'QO³.Z+y9T|J$3 $2X"6&( =WME{MU~^T4c4: 5ZtG1|*ɒ5?W 潏Sqdf&Gj [F]XQg Cg:h. 2:LIzPĎw:1aYFy`4*1<@jbÊMbu&ym\\ I _j~WPb":u9ܞ#/^ =XY2vD<^T;7K:O Ӈg wk 7)vkBz0}&Ì&ʲFS}>Y=t<"W*[gR!Tu%-z%t贆 :w} WѴGqG1<UleDXUG7_+K g^a7b#7qy"+&4|xih^<%qvD''7_R%/d JK',Z7#79Y/ h}9.͵ dSGvY#)}2Giº}m/^AԿV+4xgLa01VFgdo`qLS^8Ae+`AiKDeAYR17yU'p31; zl c'`) ˨չb6x삽eR:h]cev]bwO88@_eU:~Ǎ"*\})nLS ۩W`▿P%Zd0teC, jXT~E#3~$G̐.sL`F8v#V".㻅yެ3l[ [ggep<er{+% FX)ox`jؕW gYZ5045e3a9226003aea9a6c3c4cb52e47ba73d3204634a34b0a78430c8365c904b4a02a2bae50a7baa da3f4711496f4ebba63bd289462f3fdd0cd836c32ec0a94b3cb0e3e484d20cf2e7a52a70d368dd55  HOLCF