SQLite format 3@ . BBh77otableisabelle_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  & &W?\| ]S Imperative_Insertion_Sort:threads=2elapsed=6.079cpu=9.912gc=0.132factor=1.637zXZִF! C]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RA^eZΠeTSikZwr!ńVR?C"Eꘂc; Xrq,lѨ:pc:z6;~Z.bu:&-KAa jg3"* xO^V'"c5UeKQnٝ> ]$.˓f_L;z/ U4Wj%3?9>l8HMy$؄H F+$ݝj!HJ=#h ;Z׊ÍUc~wF8Y*75  &ω<'XA,U#=MDAM\`,,w]"vײOCƧhLKF8g0Ic ;&?Q!4/ k!4&QՄ<MAT,KgYZ0ed0e7b18b7e283623fa626a96615f889d7cc35fee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa 0835b377949cca7fe5f2a459bc8627919c67b628 ? Imperative_Insertion_Sort