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   ^? D4 SS Imperative_Insertion_Sort:threads=2elapsed=7.479cpu=12.888gc=0.212factor=1.727zXZִF! \]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RAQ/PwaкƾmُMѩ$0{_HDOO%s_i4|ńk{9',[0!ʡl\ i6Yz y&ϵf6edpWeڃ-=E9n+7y1KM<}BXbrVI|O =Bk(.5: ^S=T>@=Z 'b쎅C$%i>eBU۵ LlrrdUח;{/|aP0̹uW?,vkde'j 8}}#"Z;W:m>|}(jCAc2ROrgH[HW*=$qFULkQ]*j9m?T9uQP~oYAjFgYZ1a498665aecc39f15d0fe79902f40663df6e938c 2f53e1e3627801fe5d76702d4e4508e026e7c97d cd4bc0c3c1e5d54326dc1e9dee1786ffd1cc65ca fdb135f8c8a2843ff70df4732d84992e346dc1b3554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a f2d6cd03e9b4e7715f30cfca6a8657fec939406e ? Imperative_Insertion_Sort