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 AA<' t ] HOL-Matrix_LP:threads=2elapsed=12.712cpu=24.444gc=1.060factor=1.927zXZִF! 5]ŗXf1-q恈{RI $ϭ N/XtsB8 O!?T$Q<^՝-PVIw 8;@oHn+f ޱgYZ7zXZִF! KKr]ŗXi%;cs]Yy- m ڜD)syCy&jm≽sFbo_"ŪnՏ(إ}y2Y\sD8h՟UaJ[CGHbh 3Tܴ&el>P+rEkAcY\zwuC24%b?Pc]An]迏*T96$R=.0!}4!v&'hV[UqY40Úk4 SP @b.8#co.$#RhBto^JL*"d1ŕ%,Pk-8P3z]bUˋeL MhYs~0RN8t'TLv] 236Dƙ. ƴ&ï[cZ{\@l`Q:Y*ae2۞@> 5`d\!Wζ) d.C{}=237ܿL0&S"^-sZARJWVHJ.Чaz3?e]{2!l3W]9nS>>.].9T=̀]jzH8g(3#0o`' 1 ao(HQhRCU*:mg˵0Ohh#~s}JL4 3|g:KBң>Z U3!)0Q L.#،@^oN)g>uU5e95'#6XWa4`ޣ=~lΖJgn77tKogR翣%~>qz^J'6_X "5ιg7