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 XX%7 l< ]/ Transitive-Closure-II:threads=2elapsed=14.126cpu=22.808gc=1.164factor=1.617zXZִF! ]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzFrZ9.]&;Fb]" t.X9Q0`)p up􁠑)8/e5C{_48%b8dlԬv:<]Yc3mQ3h VL*ٰ_/ $2vj֠2`1,jtt7 ϱky*i4Ɍ vjQUW`4x)5uo%n  2NT`(h=4xɣVJ~1H\5JW1=3doW#BfΜ\'W~bYoPi]1БǒaP P^-,g|˴-BWTaL=1tg30(@DI] 罱gYZ7zXZִF! K]ŗXi%60n:TPwП M~ 2͑IbAF>ץs|)ƙ(yT ^Py@L番>\Cbt܀ˎ }tyVKKg<Хo0Q[E%`.h,f^KWs| C`!J#M:;$Eur!{﫛XI4ΦME(g)a(oj0yb:Q)!1YuCOWv|wcL.;Y$`.10%r5%alQqg!62U9V2XۋC|JQ6>;I}) ,~ϦиhQ7G25{=ذ)1bWg㪮0B(WOfRx,*#&܀HI>X>SDE-ZOO@i5A'>Gu̡ܦ=EKOT+WOFb%?7.Yd㱥EbKX@(& >x[ޔyy=$~^}bӈw9z8=zQ*oѺk$ ))/Jlƕ`c9xkd4H~^}2u" ±gYZ3aaf6cd1794da0d2714338e3f2938f7bb5ba0097e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 7 Transitive-Closure-II