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  B5 <4 ]% Lower_Semicontinuous:threads=2elapsed=8.028cpu=14.064gc=0.224factor=1.757zXZִF! ]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_,ɛ&AWr?l > OlϬ"PnEje(sj~> |# C ΄gUu!PDW+OŅL⛿P?}?ۛWDqN&ԏ!e*ohp-mE;wvQ!+:YfʄxwgYZ7zXZִF! 1@T]ŗXi%6f: ԊQPC!H{r86FLm aj6\8cr8e lL֙hP2Zr*5LU-O$Y6Q??@=#dp'6ψKstquP͓gɎ׋!(:k -Β_-1V>怞!w t3!ፀ, /VэbKjz^@OJ>LYK谩/رv\M;M>, 4aqm??A{&͎m@,` 蒊5,iLZd8Uf9ztODao)%_/ /zŦ0oՋt+ gZ!*5 .>U~.*ȕQEqYѤĂ#LvV:KK((!TN}qb53 BOu;pKfXÎ@IUGef%#هcZc>ϚWфx]Sf[zesET10/-u숢cmpذ+?ۨJd/*tkqfV_[DUOoM4%º !ΌO>y|(f=F˅͑nu@_z˳ 7ZFd Qk~k\I1 tY{4NbshQe/Z~j\,_/~S. 3ISpvSw9JbI%ܱgYZ58d23d72fe027f2f5c8e5b2c2bec10b9b5673ae80a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 9fd2ba49311f544ed16d60b38e1be4fe427c2983 0fa7088d9f19fae2ab9dbd0277752aa2ece1ab75 5 Lower_Semicontinuous