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  d d%$ , ] Derangements:threads=2elapsed=4.919cpu=7.252gc=0.168factor=1.477zXZִF! 8]ŗXf1-/6vRZ)Ӗ1TwMNt jyc~ͮu;QҢpHd挓wv32MEN3~/|CK-"mݺ [uV3WJFm?!+VN.ռ.Xqg˜,o4M՟+OvR*ǖ6f &EX zтrIʠ*Ma'6# d2OPSAyF{5`_P~rK~h`>~+/j.v>CgBGw| Hi ]` 2|'Z: o qM5EV^G˶[u:2b.9'QUR-0$VgWl1r5)!z׾_9^C9 gb]M9;~Xv4DCoww>hn:IaȺy 8gq;P=͕,p7尋uTj.c$GX-~P=<@S{9NLjwMy0K({( H һl;%cpA$\\ A`Q SsϏ."șLn)Rttcr 0\hZNAgYZ0b6936b8e9ce1bc13c172c9edda25ea643db8f2be70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f % Derangements