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 7 DT ]% HOL-Quotient_Examples:threads=6elapsed=27.410cpu=44.084gc=2.212factor=1.617zXZִF! ]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*CxvQ:uZSՌ~gR9tahsX41Dp#MѴSsj/*=ZU?a+įA!c/e\'cO)j W@Iq3PNu L qln,#tuΘ@Ci@$s[،끌VZj[lscvQ`܏l#ܿv~"0;YVW7߆x+d k0v;9q,G, }θ-qv:^y)F!(~2Jd.h:B0t&2S af2ۘ3W𫃬-{}&jU]-G7-//Ev*zebJR:f7;iF."p&)&~+ DM!v}막N`R+L,)Ȁa]W8–KJTrVY72S{I$ǢԖH +ӄx6(Fu=u= oal~XCx 67ܾ:Z Rt0L*&jޡ\I;`zd)NሇTv^*Ӷ G' & m6gYZ1043fd9545af6230e15a0f694e748fd5b73b332e53f1d67548a50d94a90baccfd7c8ce511a3e1b4a f6118ffad2997e518d2c1b8be12985c8c95a4176 2a8703cad3af920728df8d76be477f3244bc91ca 1f591d418b5d96bf6b20a2ddad17717dfd84b233 41bad6138df954e091608c29904067b9288b0a5a 7 HOL-Quotient_Examples