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   o?<\ ]S Imperative_Insertion_Sort:threads=2elapsed=6.346cpu=9.876gc=0.140factor=1.567zXZִF! X]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RA^eZΠeTSik=!4c)Ŵ0tt^pG*J` Ut?uk=wsuij!׷0M>Hdj⤳ӯ vLY6vͭ@Jtx kJFC.gq9 Ƴ5e,A,ٯuƧ)ҙp|3[l-XlYKCnU2K%<.+Tx9ROu^3N+STtr-+1qݏ)jv]́Y\~H#gYZ7zXZִF! e]ŗXiɟR\]\AQw mϼ>hC! t,A=GJ-V1a `W12/%-3Z}lͅO;Ir8c|lm(El\n_NqgoF8\uuhV^GFRrL+~1S7t|)JR;{lV,(>ZWENŻkjE^Ծَ~ t&sR@v_OckoYͱgYZ73a508747477761e524c38c2e5d04aaabb40463efa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740 00e367faa80641658c6f8acb0b16ae2ff5c49862 ? Imperative_Insertion_Sort