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   ^? D4 SS Imperative_Insertion_Sort:threads=2elapsed=7.397cpu=12.696gc=0.216factor=1.727zXZִF! Z]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RA^o%/ؕ\Tw#:j[Ds&iE3^U=$ mq˩];FP7dVft uHBaRv#hwBE+-kc, (|xQE \Hqpě#e0z3XJsn` !h\mtuK.!} |^n(wIIĭFn󜄰ȃYmї/! P)0b]6zU'w1(K7gYZ7zXZִF! ,uQ]ŗXi%6TQL:~mVte[C=yh+Aib!f+I4]Ƽˡ,ڑ&pTdPzPWjrZCis.b{4gq6T伱zQjd"G?CQ>U_oO+4q(KH ;}MJ3pE8*Ps8n23n4<2(H"E/sKJH$[?6kn䃱 ٚuWI,L,処5HB! &8˦㶙^K]0EǟdNmތ l%69[={\JI\XRm'gYZ1a498665aecc39f15d0fe79902f40663df6e938c 1f7995e90b37865ea3356d69b09c3bb479779704 3a2bf3fa25db86fd6834b90ded4d7e73ebb0f356 b3d839b63de7bd8171a7e1f57034a598fa946230f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 3c9c1fd15029e7300bba65e28c07e174a74ddd90 ? Imperative_Insertion_Sort