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  ! \$ ]/ HOL-Prolog:threads=2elapsed=0.267cpu=0.436gc=0.000factor=1.637zXZִF! f]ŗXiɟ11;vW QrX 0Շ }F.0s2!O~{!G^zN1g,19IKt}gYZ7zXZִF! I]ŗXi%96}ڬFGUU;SB`VhkxZ&-JJ%DnEČ~94:*{H?Q0 Ã:ݳE{y-tBJ 96jfܬ@ Wjc8NelR[d[ ƂdRX $.߰TQ8Xƙt3{u4QNep?>N?OGdDj{?޵ަa^7s`.(,]͂1Ł`#?Y/O'-6@ °1gYZ480ed9ff9666e2c465e946f286db518d4573e218ccf9b9418e9c76b5688e2dd3ccca778f920a9297 2b81ca4de31fb7c354e77106786e7248d054178d  ! HOL-Prolog