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  @ @=5 , ]S Lam-ml-Normalization:threads=2elapsed=9.961cpu=16.344gc=0.920factor=1.647zXZִF! O]ŗXf1-/6vRZUT,}"67}F%,]!ͿxLРxGۭ@x츘 ͈OR: 'ufua+!v1ǴQǐ 0jFHw ]%25c+ _)#\6$gCMH'%7aP{!._mOHiи&T.d "._Z,Q$5 ~ XS?6_ؤ&<Ӥ+xxS_D:GyhfhT=R2`{2'l4RUêWEi~vߏ)c&Ef>tP u5UIK 3_t&܏w3lmerކ'H6?cycL"|M!M)O122:q*@4dƎ`?W5Akw}p] 7-{9tAPeR|;8c 拕VL[$s40!1k=պQsA]$y5omuly+O B*)Qՙ% F|#CnuyΚcwqjw$ʮhRڶσSf8:F+W } V/e#.W-g QNbn >^xʛ =[YlJWN+ G' Z>УH-" 6|&/YXrѡY~tZM.ܡ5I4pғ:gYZ33741428cd98478aac4b3d5845db97d955db36bb1e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f8 9191089373e79bedf10e59247d3035f1a7f7e487 5 Lam-ml-Normalization