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  ; ;B? Lt SS Imperative_Insertion_Sort:threads=2elapsed=7.527cpu=12.840gc=0.164factor=1.717zXZִF! `]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RAQ/PwaкƾmُMѩ$0|-0r IrU5kx v*\_&~y  zrmtb.VV@F T؅%_ 3RK Tމ0^'8X AR9Q<*I^99Th\&X1"1WqlUj 腝Yx?Fdt)|pw0>.c_-Αo M7)U|ޢH>+nڦXYƤ:ug. \twiqEf>?|bYߠNy1ơ$o9H~  龶2t:s_:cO14ӕ(J4'+}uTu41sϺPKϳ͵Pdiq\x%|2M|$5Ijc$*(}]:q +bD\f*"*Zd":v< !>L"2RZOBD$~#놭EjO0dК{'̙+o/^TKJc"]+2-5 YVNrQ_G]#4ٚNCJmsBM7ZfC&7䓍 ]uA`Ȋ.\$R\y:nYף7?[bԄ!>YKl P>QF;%fYqJrވBqAЭ/T;0NA{x.Xy)G1Г". B,%E p{KP9kL1Ʒ6q%K@-2ST GD&@UlA˲:kFv35YWgYZ1a498665aecc39f15d0fe79902f40663df6e938c 2f53e1e3627801fe5d76702d4e4508e026e7c97d cd4bc0c3c1e5d54326dc1e9dee1786ffd1cc65ca fdb135f8c8a2843ff70df4732d84992e346dc1b30ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 5af5019628dd28f4ddd9eb78b56d12d9292def11 ? Imperative_Insertion_Sort