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 ? Tl SS Imperative_Insertion_Sort:threads=2elapsed=7.928cpu=13.368gc=0.204factor=1.697zXZִF! c]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RAQ/PwaкƾmُMѩ$0Mt?,1~^L$:aW?93&OM~^ 學4U`@Alv`؀zq" 35>R|jD-k iXvkƽ2r^Bga8s5CRZAK|'> $F*?uR4H_x?h@9]mm稞 w] QP\?^B6 RMgYZ7zXZִF! .m]ŗXi%6xs%X" ÑK= %ob'FװvMAvw+Vu=Q5p7wqT,X񦈅xzX`y~MV#aӯe[5ޑ̑P<0_I >=6aHA` )B*cx