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  i iD S/]Cauchy:threads=2elapsed=2.790cpu=5.040gc=0.076factor=1.817zXZִF! x]ŗXf1-/6vRZy_[&~ZD2[o$¢'CR ~G´;9tA 6 ~VКuHR5Ա:_vr 2y0rf RgYZ7zXZִF! S]ŗXi%6iVnku<3lP2p~իMDڽ ` GPNbΩ--V,L#ص)NyH> qIjZ 3:tk zNd"9r[2̢xZdCګ,/[WhCꍧՊR/{i9rb~=뭍2uUJ۰>̋%.R|l7,gMj4r*}uӡ$񤦺Y5?-q@s^RVFKj匵0ڽEj7~wXe%?7RbɀnX%Cl`{{/̖?srܗ&CEΰ[ze|}8JAH&raӍczO"c{Vj; DB8J^I.H̍LeQSM}ǡ\8YąӘ%=?NP6糉$n_,vM~CQXY֎.QǣagYZ9eed8fc1f6c54686843ffb969de40b88bede13a3 b753ce16f8428413d1c2f6b2770bbb3d076aa7cf d89fd00a601201ee7e3a7dd13c2b6bc868536dd5 e11e87f81f54ae08d84655aa76828cf8aa070db0b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36f4da0e842406f6c8a9ed82df9d4b1e460bdefd4a   Cauchy