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  [|< S/ AnselmGod:threads=2elapsed=2.357cpu=3.208gc=0.088factor=1.367zXZִF! kx]ŗXf1-/6vRZ]Nj-Fhϴ}L3)si ? +GqڧN<[q=?[/Dt%qpv]:%B `;fcc;&6^փgYZ7zXZִF! ]ŗXi%6MV-Eo2uC\sWm]mmYgݟo^)$X`(-sP[u?ag5ccm; aAn< Y;#`!=GZmd^,dFkRGDzEXYLmt%iB>eZ|䥰s\.:A:TVF,mI7&y\ǵU>_;Ԩ#Xw7ctTbfuibB~lfb\ Z-t*`.1ZEZ Ry'xoi_A8K)m" f|ݾ^|mXjJ;5R6lם"GZuS,Z+3(;bL8,XB=,\[jq.KY8ip`g*dX_q3&{{Qݵ}J|yQ $˓[*38>owJ)gYZ27434bd2f8ac7d563f95bebda1a366227838346f 44db2503089999e4d2ace5941543e45f3f529b80 9f64ed898bf0a4de6aea38f55640f4a8b3ea54f2 e17298ddc1b211174195c43e5fe5b284d1654bf1f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24   AnselmGod