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  ? ,\L ]S Imperative_Insertion_Sort:threads=2elapsed=6.363cpu=10.368gc=0.164factor=1.637zXZִF! 1M]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RA^eZΠeTSik;p/Q/J'H,UaĪ(YT/\tjX(_(?,&@Wsفؓ$W ZyEI=~v6t[zQ{^+[;l$э~XXٕc(7{Hk쇛DͫkG (–Q2$]ǂU4"^~=e+u0hWQ sF\'hHJx?63.-gYZ7zXZִF! g]ŗXiɟR\]CrT\ƒd0$ϗb$l}`B~,,ޣ'IgYZ7zXZִF! -]]ŗXi%;C/'Ƃ#L-qAF\7ҝ-KvK 4J!%ӫ؈a 7w3⤗ފ%MUTIE.G#1 ܝZĒHrTȸ1v}AXI`\)Z kџod r#.FV0>$,ܓ4ـTAVr8`DXC?jZu7TAȍ˓fb)hP^C,4uѰ\dKdURy+(Lg{~?nwjF<8|˜iq{6ʠJ԰6GX|3 [ԃ 1XpP2is(o/aB 0 '~S8S˕ۣ; H%h$(t(HȒYr),俯ϴ(O" SdZfu5g4vc Pt<)2[wtz5O{J-N }jA&ǏW5Ff\1\ZgF.y1v'cv[F w?Qڹ;%N0&=kwYj4+dڪ^is?[ SgYZ24ed3227ed462773ff2e262a8fae7c74c479db3ba70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c 02b70b2565647052a5ea17750200a68c644faf9c ? Imperative_Insertion_Sort