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 z7 |d ]% HOL-Quotient_Examples:threads=6elapsed=27.268cpu=41.700gc=2.412factor=1.537zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%kUcrDG]oYO|G2@9I'"g+hɍxg؃p4%NJETӦ+/ee3߀*l^6Jr:eZ}^d͙YB34J5#DjF oy-`xloJ[T c*[H܆=hyxhߝީe}`zNAFN7)YdǜFPퟖULڅdMI `"4U~UM *Y6j5ek5ߠu(s;X䣱"`0g8W :6\%>o6R<*1GFv8V;D! :8#/PNo?D"6 iVϼluoUG1[p8BnQ t5W(.j# >J{=粽s@tOF %'()f5k~ۭ%*VJ(p')n1ӕT?ئ\za"GV/_䪦MOV%I`޴' $~ ޑ&Zci m}\dt0aKUNG%"F@}FU)v1]pIosi*JUhPj%DyN]FQs0Ef %lf˖%)˜4[UJi:#lȹt%$zzYU/QCZv9+2T'Jgbq8_qb"VO"ΌD'u -#A Do<ђ @3}AFIJc 'fI 2<+HQwJtJTN'tk wjM&Q.G\\" b[ʽ,"I3VAd8QK`WPn<ڽ+JT&dMĐVf`S}hڎ%