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  3# <| ]]HOL-Nominal:threads=6elapsed=5.489cpu=12.268gc=0.500factor=2.247zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ5`n(rjf}A f>JwWZIܬc2>GFVcZk]:XW3yKq\ɛZqb-!EFBGW'4xqiyoVYZt=y:AFa es±gYZ7zXZִF! ]ŗXi%6ņ*N!ː\.5z5FJhNV 0/`eTja9Ӱ@Hſ[%:8eL]+J("0@ڣj2az<2QE/5Y0РNE1/ء^-ƙ% )'. b?\Vz.TH7&MQ_DxKZngølBȴ`ГOd;.6aӸ闙MlSHIP% ﬤ@tg]#4k[=&ֲN}ܔ\-QExs__aer<2xX.J253Ub`FZaSl}6SVڅ ] /C*lC}h5_˝3݇DBms7 lOx|]EP}| dKl;9odR9Q#{%0+~f%{#\Qw,O_i`C*Dz;Mti`8fX=2mfetp%9ciS=}[(P<{Ҩ^NPO|9uС*s'"TaH%y̠*V`Mke4I@J#/nfQ]|Pf0Y8iWgYZf1cc9013f62f5d46637ed33a38ff59521fc5b65653f1d67548a50d94a90baccfd7c8ce511a3e1b4a f6118ffad2997e518d2c1b8be12985c8c95a4176 2a8703cad3af920728df8d76be477f3244bc91ca18c6313faf2187c2a114f1ae3ad0f2da3ce0895a # HOL-Nominal