SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info y54,  Free-Boolean-Algebra:threads=2elapsed=1.115cpu=1.804gc=0.000factor=1.627zXZִF! (T]ŗXf1-/6vRZR@:>SyR+HwcLYE݉^2 }202>|9L!ö1pNVs3ۼ"$b,'0BWU+2g 5 Free-Boolean-Algebran>7)…oϭh5ǻPeINS $;r%tE~Tn}Ÿ˂;**sk3܇Ⱦst8H;P ?N0vp[?ӫg7>7 sj9PLþu̓cP6g+{5X\zerK";PؿV2Jz@7N{b˓[C|JJ*t>LY+B(&':QgYZ7zXZִF! ]ŗXi% ~?_q Mu3E^1" irld*.|x?1,|ni~ȁZEVlT ֿrHLm{w Hʁ98 D,Yyk)?'a9RpDT b851RqaTv XKi}<,\| R&P[)H2(=l?*va`"+q˘% a+6bΤ(/*Tʶ&{18^{TV|hmg=lݗ|m>8C^I@K*ǸrI1-C:[pcy8ny9%ZhE}Xq/ZcÓtZb%D2tU1N@ن/#wN*=䱍UVye *"gYZ604e0cfa691479812da4652aff7aee1c24f64a3e e79a50293a173d35c3f5bd1ae1071e4a6f757ac4 ee7f67872e9c58a155bab549f35199e43a6d351970d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 b5b2e3db2282b5d6e07a8827f7e467ee9b05ff91