SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  " "[%L ] Pairing_Heap:threads=2elapsed=4.110cpu=8.076gc=0.436factor=1.967zXZִF! 2]ŗXf1-/6vR[2F*DlIW,|k|at&S',UbF<~"8օD 1=Z&[)EpRK| E6?OŨCch;VdrDDǼ4e"$z~¤XlEFeJe9/@ˬ Q "voI2~l p0gYZ7zXZִF!  }]ŗXi%60nOy7>NB=|MPJ.))$5fw\Cy3ͽ~HI |T nisd3Z{r9ƿؿqaP_7{]"}ؤ/_R o d*63NLH>I{nڽ.i&G0qKx؅n'YǗӨҦ^ ^us&od>gǚ2VN`|GTݚ㍐b'w&E{0MCjSD`R%] OHܼ+^S0}jfEA^ X|j"0NjpXN޶ǦB˱v͋ 8v @UԜ)_e.H,gZ)+.~vu#TrZJx"l 7 ^.> g4kt]K|z@R~|tPC .+a'r+vݤ?,1>|E6o#B[` p^hG rO(3wg|(*r800 pI_~ q RhwLY 2W"& km&({ֆ584!gYZb969e2eac03d64d73f4e005c9bde0321f463fbf2e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d % Pairing_Heap