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  [ ["%d Sw Fisher_Yates:threads=2elapsed=3.338cpu=6.096gc=0.084factor=1.837zXZִF! 0]ŗXf1-/6vRZZZ J.LG*7*A?䯓;JnVD fbK0bp)ݔ EZj5:hS 'z H> 9`սEcIrх;L=Ԣl0[/OcƂp&LJzj9/7gBeNmH+gYZ7zXZִF! j]ŗXi%6oH#3( ~qM'xMKuPQj3eiw(c\P"Api8uP{Uۀċ˲G<ڂn.z0&>h~^ۏNDh^Gšah7/Q-XQ&z[]ԽZ(~s6-XuD`*0~7)?Ç]kR)NHO~ 'Te]/0AP鶼%Sˍ8$l7qtQ٧ОX6ZMqLqkGה'H)AL)n x