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   h? \ ]S Imperative_Insertion_Sort:threads=2elapsed=5.778cpu=10.196gc=0.216factor=1.767zXZִF! H]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RA^eZΠeTSikNz "mI\7Wz}@|3!vK[`t>E01cK  ܸE.vwbFox 9Rn3RD `%`~醨[ye/?i6pC5o*k&d,T QQW'ÑR4eoxyFD嶕j3Uڝ9w}`죺8e9EA(&1!O_= CΤ+rjSMgYZ7zXZִF! e]ŗXiɟR\]A~}|eӪdžS6q6l,*^37SS& &FblM onthv/p0eCMEaIxHSy[Ŝ?pXK]oc1sQAgYZ219d49023b471cba5b4ed2b838ef405e34954b4d79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069 4e285d284b641afecfde74b6ba397882a90df933 ? Imperative_Insertion_Sort