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  5'4, ]/ HOL-Proofs-ex:threads=2elapsed=1.581cpu=2.284gc=0.000factor=1.447zXZִF! |]ŗXf1-q恈ܗ`(IP-̺|"~:.LZ{̌,zkmskZ،RkQh6+pFO-ŧ,v`tG߆X^ѽjT đgYZ7zXZִF! :]ŗXiɟ1GBS񔷀*eHnrޢe6AD#)-6 Gc:8 ,frjf ؟=P(fC7;qhBW.nu®ȧqd/*pb@o{4,E!_;x=6|՞Y=O-87]xͷw3_i'dU ֑y׼6;1J蝋?cADaӥ_ɪLe gBlnxH9 \FB,hU- kAv{[N cw2fI$M87v P n,Cَ\G Se8 Kg| ܑ|7G8/]0nK] m$ ׮+̜;s-_NgYZaada47cc532d8a62611cac2ac4cc0026b350e7cd98dd477b080148668828b0f67c6e8a1d9708b3f3 61ce31a17abdc32ae8f58dd64da5a58ac0dcd87a ' HOL-Proofs-ex