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 44I t,$ ]/]HOL-Word:threads=6elapsed=9.023cpu=39.708gc=1.568factor=4.407zXZִF! r]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yfAISb™%ɎfHӫ$`Nxܹ" ˝LzC#sMݡ|?ʒ|-\\]sΧ6Jr/rtޝŔG"ɻ3 }~iټ :R aVs,ÛՓ6m!§s٢D3L^ Is1Y͊?瘾E'VȱQ| h5'g0)|jI\M?rO0M5앑pG%ۨ8S&o n͚ncf>u`!Зa*IHN %t.¿$Kt^/-qy}\XR> hA$Dċ Ŧnx%E+u`UH<*1ʤnL J 4N7v/ }1G# qw3\=]i_ڀNBjlwO33(H>Fe m`޹U{t :sLQnY )DwulWh&Q:d? -M5<ūF e&)ʩ0??C{E)m4;XT Щrڭ~߃'OU5:=6 qQ1rN=ˍ]0zgŠj.f%WTp]5˞t#BՁFg&)sa3gOmorgpx%ٽsG3q`'!NR=[dtF!k jkfE=Turpvj䬍`r7%5DW9'{Y͵8º'` ]5 ۲U%x7.=ЮF JغXڧL@$8hwd3:I`SGWKw,#3m.m56taCvlY@-3$h@rZzG"F ˙qCGA( O|%rNG9{q9PEyHqp-1'}V/eohtyMD\S]#AEGC0x!m=g@ގش4%񭽤5Q<̍Q0gϹ{.~YQgYZ40883a4f75aa6dd99278756411da6144ba950b6fa3ca72e93022ff3a13f721dde80608155e0e134c 03ac95b81282031db310f795682802eff540a88f33bb850b29edbe3883d93cfa01678fcf5af51a08   HOL-Word