SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  q q ? ld ]S Imperative_Insertion_Sort:threads=8elapsed=2.609cpu=12.711gc=0.206factor=4.877zXZִF! p]ŗXf[&2r"ƥ.B*֢{OYyf/P)}u>!qWBk}puocX闃** _MAdۙ&5x lg]M@s{j~ 0wT_X.<7k#m._s7 _M>W7mƇf\2DP><_9 A-~|3~B7=}%\yG\SEd9a$NEa!*zB I^{$J@`Sj1F*Wks6h8V2=|31ȍY w~H&:jž-icV@xjA $;00?9VgYZ7zXZִF! k]ŗXiɟR\]t}ǏxͯwYOp GJL&;(Q{z2ztG;o<Өt VĻy0϶CYFV `~[sSTIӆOt\#nah1Ì¥?9d.rϺˢXݓ@b\w]ύHw^=$ZH$XVykbILNO{>*c ^NՕn'*(k /NczfJ=<;r웣w0 VTk_/6("Ffee%{eBRdP=Q+#=tݰj}‘qQsoN"15Cu2Fn~N}nL}u¡͂-jb<-^ӊس|Lcf+p<yn& 'uzm7c93Dwz60bϗ6v dYc/ ]3:.бgYZ833bc55ba58d08dd5dd7476442792fb38a94d448c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b 7d53be3e06d9aa85ea832d1f96445a4e226c7f27 ? Imperative_Insertion_Sort