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   ^? T$ SS Imperative_Insertion_Sort:threads=2elapsed=7.403cpu=12.892gc=0.216factor=1.747zXZִF! b]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RA^G¡3H: cRNcĘP'sH0@dT?yR?إ^JzEEn<*{*M3Z>eʞ&F$]EW&*[|N'(W5 6:2 ]/hW^Rf'((*Q_ Hd^jgL.~Զˣ ;ʥ@%[Arݕ"UB*?Lgj~3$.UU6O~3Y-&D[ԋ߰_ [Z6|gYZ7zXZִF! ,I]ŗXi%6uT> gQt1p]?)\DvX್&3힯YMc&QJ/eɛ̞4wꊣA9BfvW5Ã7Pw- Y_0"^ʂk(SŅrMTn Q3]~,,#(]_[Mr ߆YrqEJf Bŋ@q k(c_+ 5|E֏ ?,aVY|Ryg2["K+rBW % HoG|J Mca2.D{eaB@^!kp%mQ|k 2cb%|{pz$VǔSa\_EAgRY:wѣCXv*N$s`Pӳ"1Eױw6cƆVFÓ;(hr_!Ju_'nek! 4fDqzn 6E{f-;g6r-:!ޣh_1SCl(Kkh6/^!y[tۥn^)Z3neY)rBU~̈́1R􏚱%ϩ F/d%9ꖆV1 IUhQ.Aov{,e!ESPXzc! vN]OcmA[VȦamazoʂThwegaSzLNQ&y*T96ϸZJo7g@9>F֭IȡQ.{XKe8GwY,gYZ1a498665aecc39f15d0fe79902f40663df6e938c 2f53e1e3627801fe5d76702d4e4508e026e7c97d cd4bc0c3c1e5d54326dc1e9dee1786ffd1cc65ca fdb135f8c8a2843ff70df4732d84992e346dc1b3e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b 99aa5d539e037ee20eb5f6b9440a76928666d2d2 ? Imperative_Insertion_Sort