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  # #Z? D, SS Imperative_Insertion_Sort:threads=2elapsed=7.611cpu=13.032gc=0.152factor=1.717zXZִF! $Z]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RA^o%/ؕ\T^{Eq{%-soʑ(!UO~2?f7Ew'}V-u/|A@CTԴ=侀إ^ȯ/17P EϦ"]Nڇbs29zJKhep{7d_DPKtI㕱 &+Ҙ4؞;~8űlAx9h`3O7]|v_I1fс4$ (jq#$r2NsK]vF"QU_(ZgYZ7zXZִF! ,N]ŗXi%6yd nYߊ~AݱzλPMecN*>8m-U-\q{F}}0(ifX;O3A>/y؋F KZyF÷QiDg.I׍>MO{1.3=f}TƷw:fŘIc)nq[v~пRd$!m ReX΋7JWj)* 3N|da] u=1G-3J}#As`ozHwO T;@TW՘ƒ 7}8F{bb4>·o>J/3LՁp7<5xaE߆Nb{Ib诸%иlc&(Uo. $ֆ2nZghgïpLf  vJ"w`954Y=gYZ1a498665aecc39f15d0fe79902f40663df6e938c 1f7995e90b37865ea3356d69b09c3bb479779704 3a2bf3fa25db86fd6834b90ded4d7e73ebb0f356 b3d839b63de7bd8171a7e1f57034a598fa946230238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef abadb1ee401fe89b4ebdeb4759bf1218e9f1de69 ? Imperative_Insertion_Sort