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 JJ33 d, ]S Decreasing-Diagrams:threads=2elapsed=22.165cpu=39.168gc=1.140factor=1.777zXZִF! +]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4N _xܑM0]z &>*'*+M^'L÷OR,U.T~5dadaysFK n#]ҭ@Unnʉs0wIE/| W*9+{0&跩lo "U5ZktqwY]^UR Rpk8Yd)iT<+rc̔[}-lguYfp" &g듔xo&/uu3TRDqc P}XO7o!{hZjOIabveo "§2| B 1T=!WYZw!eA3[t(5~An% ]8SA wDko9 /j"LLM;`PрNZ*G#k8z1:`H؞}Un|Kؔ6JDŽF+a%:|7$F!̚S+dRZRD݂ٗ]GIAԆ76:1ic^n\+^$sLlsqf./ +ZK~>ss)oG˵E掄roFh-.ǽƅ:Mr)^/xt >޸!PlxuSUtWTJ2~ -jHamt˸'kߣq6!E08udHj?Ek*畉ײsoVSH\?Em;\&AU3Ai.u@up>ɺD#OɸM#IgEA3@pj Л7.x;?2,3CW*aJ)&<Yͥ+39_xn' l+a[:ժؼP PKXJYfoiUx\kC #kdzV|ARpE"gF~yIvP66gtE;(q tԿTa%@ؼx(X@A ٔeIxELW}Fl`?'ZiB©Ҩ<< ?- +Kz&hSWL6B 3SZ9>Sau Љ]0h} Ȕ2`r)Q?uP4' f|*v$3d-xO/g'3@JɛU[냼coAP#(kGp9c]SZh.Iyޞ j±gYZ61d79b72b15940bcbd70301e08627511340d636179d8e835726df87c7b301a8f091eddccadfabbca a29a84bba8aa29c804c447ecf6bc83360b3be33c 402ad8d10c053d7ab99109311f4289da20bbcf70 40ac33cbe7955f0ca8c0210ee21e69c8e464b24b 3 Decreasing-Diagrams