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 z' Lt ]]List-Infinite:threads=2elapsed=24.907cpu=42.908gc=2.040factor=1.727zXZִF! _]ŗXf1-/6vRZڕ`0 lO"Eu]ŗXi%6vB<Ή3us:MO.λ*U@ih29_*+<01%Rla/,f&hJ rvZ7rY~cg{Bk]Yw" |L28mJ3nɎԔ+4ww݄%`V8Z#)<q!{UKzs& dأ>Zۼ3jI~!J t`Hqw)$"APTD}vUB{E<0$x\DJOSW "Q6pi\VT@zǁwN_e x[SfKK}SP~&k35/GL7T%4 y7LvAFUϴ}QrrTĚ'_v.\(!`ֿTÚ3U=T\)"?MS !Zm@Oާ"㕕` R@~S}v`^[ vJ&zu{ߨ9Q~w ܵԦG_3Y}M sZs 3'yvx#N&Z;~VwUjnGb 6p9"`Bk P z0[ /gYZ10ed9fea26d0993b1c37c4a8216a4d490f03ebde72476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec284f841d48a26b8459b77bf531d8bf19c29c51e76b ' List-Infinite