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  = =@? 4T4 ]S Imperative_Insertion_Sort:threads=2elapsed=5.366cpu=10.220gc=0.176factor=1.907zXZִF! 2Q]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RA^eZΠeTSik= d|zc̣gL"%5'kK(5HpH4zs3(Cc!_e-0Vs)_L2Qw7]tcplӋUQ +"LYq<0,hMav[AԦ:3!{@8(vOPLgLp"j;P22c'Ɍ#[ x漠Մm3-Լ9d_3ػ]gYZ7zXZִF! d]ŗXiɟR\]o%OͫM؉KJ=U gYZ7zXZִF! (]ŗXi%;wxRZ9ؘқw)͎cd ,w$1-Vs4`+?,R`| 1|&?I D$O7|.ѻ^җlGwF قӽw7ak3=H-LWD1?W ?YEd;VfA2з70#b8s560~d}V `qG=RF_܂m4];Ι5d)':Կ vB|NEPsJIKQAhl^EG瓿:w0vKOp?]Xq^S̆ƻTwk%^ۺe"M$umMŠ)T]_@àck[!/(SUhRw4:XkCCO3m顲e:;6rlLE xm~$hpd !Z(=L2Uٍ;pwz,"f:6D50N 9'5JA={UNYy3Y~!ԜwZlz$i6ꆊV%FLJKyc/]!yZF3|, nZh"{&ɱ 87JJQB)xv/#$8tt|KQp#WgYZceb11496961d027ffb23984c037418eb95f14e239667212091580fa4c30a7b10e6591774082fff36 af6044d1ba548f70bd68d24705f8ed6fb4aba65c 6bc7163ce4d3b4f24ad4dafbbce0bcad4ed1ed32 dde58eb31c458c3ce836f216211bff908102a5bd ? Imperative_Insertion_Sort