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  " "[#$ 4 ]/]HOL-Eisbach:threads=2elapsed=3.448cpu=6.856gc=0.212factor=1.997zXZִF! FJ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nͤ?1oCy d(f%¢k5JY4ucO z㦋b[A,/ LøPH[faHV~:ϑ&ť$ şR]Em+l]y̓8[2OTKou3`~kKm5]"4\@(VY% TQMbl}L,w]\}5  lyB(0ODœ$FXgYZ7zXZִF! :]ŗXiɟ1J2oeTʹ̰Ko"{BRHdPI 7-&@$jLL@o58p_jXF- _o+XϏ\yGĤ_^bMe?(zi_4&mQv^@oWbP{7-'0H\}Iw~/IpKgYZ7zXZִF! ]ŗXi%;dp3J:d%Tݒ||g1"f6:)8 Py<@] (N`dO?4:6LE>Y ov8/*]E3d 9$*AxH/ PD "L@O 򔀡+~;hE6A2OWi~: -z71W^Km' }#}3hFI!=wlyU/cُ}5b/dkj+tUѝl?fpA75/ϙLDB N7ֱG"f$#qqJ\<ڬ r$b6Kjyd {|z$$<㈜Y ^dA7[J_\mEC} ڬ>&5!|&<<< 'OnNp-NН3ǿWxS2-#h%if@[B&r ʗ%dhgYZ6ef1cc7432a94a3303aa4f71b33b3e321b57525a634a34b0a78430c8365c904b4a02a2bae50a7baa da3f4711496f4ebba63bd289462f3fdd0cd836c380399a16e8a9a7d32c2d94abed18461abeff4b3e # HOL-Eisbach