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  J? D ]S Imperative_Insertion_Sort:threads=2elapsed=7.475cpu=12.752gc=0.168factor=1.717zXZִF! \]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RAQ/PwaкƾmُMѩ$~[0hgס?4- M Vax}8,%6c嚽MõO0xF;6]ZaI'Ւ=_0^,L OחIy5S ót5$&ӆƽv6BNIףJ0 "T׷r6#[nPX WڃOrN6:ۑNN#n@t%-yòTN@)!>aPEpgYZ7zXZִF! ,;]ŗXi%60nSmċaNJf0;kXj)D1+WBRGu%fR <rv7Sf|1Zܖ[dF%^Ս ċp'Janv\kix:%U