SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  x x ]/ AnselmGod:threads=2elapsed=2.251cpu=2.988gc=0.044factor=1.337zXZִF! ky]ŗXf1-/6vRZ]Nj-Fhϴ}L3)si ? +GqڧN<-1Rݾ8Zh|8Sa(<Ȇ$v&\+4x.Vq sP,gYZ7zXZִF! G=]ŗXiɟMf{kl'dsU "s>FЩ qz^ur+ \WYH3}YZ7zXZִF! :]ŗXi%W~#UJ ^Vm,ۢ]֖d12cnn:8q'4y"b `[GߍDL,j@s3@s/(@oeևeЁu_Bb2ѹL###M9m-p% V:uQ/[qlQwI:O`*#)"> )4t]\,;/Ѽ b,h- u_SjUpgI4m]UGd3Z#gYZaab6aa67f503087f27218c0664094693dde7cd2ad6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e   AnselmGod