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 .?  SS Imperative_Insertion_Sort:threads=2elapsed=6.848cpu=12.864gc=0.172factor=1.887zXZִF! 5]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RAQ/PwaкƾmُMѩ$-谡?F+jO@vMB}L&<P}:c7Nsow/C< sYM梽G{xy,Q.r#.F%z¶ o]C\ޜJj7#}s9 ƙur1ĈDE\*Wr|i}$ oKII\6'Ff荇 P;bܝa{L4RızXܭ(c΋M+eA9jr/Y) 춡Pk7P%JD@t:8ZT/xMX`N +k2+|ߥ)qjS~m 8.šK3;=Dz)U]?zoϫw`%퓡 8E$v$ϐm̿MU>V=v[QLiǚ~ kNcp[`W1rc3e;Xf͎l:nb>WOazF)>*f[uphV=w̸Kyx.Ut/c_%ݲItTE6` j2Vҕp>tH TKX'NY ӣy/qUplK^bh׸Ҳ'et* kte^gYZ7zXZִF! *#B]ŗXi%s;  o E-dbUHUcYj 7stVJ/" ȸIKV{*> Ix;0WtO%v^O:]`5n@~1|#ioG |?Htzވ9Pnl %;-Rblh@HCV]KKOn//|i~u]H41|Vlo1qLzY X)=ލ9V/X-烈[SSd0hZy%ѝ? ;=IvTTͱgYZ1a498665aecc39f15d0fe79902f40663df6e938c 2f53e1e3627801fe5d76702d4e4508e026e7c97d cd4bc0c3c1e5d54326dc1e9dee1786ffd1cc65ca fdb135f8c8a2843ff70df4732d84992e346dc1b39711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 a596332426dbc8ff215d5897ef76fd69b598f2ba ? Imperative_Insertion_Sort