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 f l< ]]HOLCF:threads=6elapsed=15.949cpu=36.784gc=1.828factor=2.317zXZִF! m]ŗXf1-qN?dO*4 ᅉ(Xu>4X_j`pfb&HH6T*HPuZX@~7ڔ'%5`᫒ߺaN\m ˶wN 4~GK]5|8,U:n`G9* NjOʷ R2׺ChfJL]` ƅ` M\ zb5ik*US20ĖIx`bPSCT(D'ׯ 3/]Cx>%\&GLifꍧR4'UI O/`ȼݑ e)_츠>wkwF?Ȃ{I8,6%clP+ٔ&(| ~^(-vgKs7:hkv]TtPu2 s/aH@|=$lxByon\ʘ+6K`iAsZIiWU?S|}1Wfx8؏1å%Cd8[X7lQUP.) I߯*c?EӢgYZ7zXZִF! M]ŗXi%6ͫs69?;ضZj9fBk\_`.c{? 4~5얨 (Œb'Xq v j`(-> /hC6{8P#cWH'~ByfTINNV4<2KĒiVy%KEΞ+O~iPNgR灴UWI^P>FUK:60w'S{]"D9oL߂]BI=g=cC K / 9uMbUz6f'%^8Y:ΡX_0^.a ,VL!F??Nf*̙'7F5ʸr C%w^gXx0n^GF;},]#.>NQջuU s> p 2 'Si2P1J37+bI\?NW \ME-” K:Yjm!kNwʵmK>#ٟ א}};-D F|yO[~pJkOD5}k!y_c֞,!(;b.W*i5E 67Kh >c|ל~  dgYZ8cc4aeafd8078169f84ceb414ca847682d4c359f4c1c895207ab9e683ba172ce2764b942c7875d56 b18a5a4f54c33dfc5175f5d8feb995cc7463605b da5c9424883b2cc4d138889d75bfb1bb769fce3dad3b56904003cabaa2ab868e4a958ae96ec043db  HOLCF