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 o3 t ]S Decreasing-Diagrams:threads=2elapsed=21.308cpu=37.452gc=1.096factor=1.767zXZִF! B]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4jҰG bׄ% E iBm H6}bIE#G?igft^$HWLJţH@Y19r(zp1~mhl+i* ;IgtQၮy*I돺gvmh0"s,R@v&Ъ@*2Bslj*ZH ^ cMu1_ >C>K/WlaZ0/ٳ,NgȒ)]j{7R9ܤdǕ{Y=ؚC&N,7A?dPfug@`b~AD#pfaPȗ%mU*kK"Jͫΰ(ZvC]Hu# [*r::EUw:o9$v%kԓdEn=#4SwBsYEt!iv0?xQQ:ȘMUO8% sܣA%pg uRgYZf01d528954a30f5e76d1f1608e75dc539fb23356d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 168e61d6daf9a7158612b10229e94661664eac03 f286221f22c1be45dc4f7fb12898e12c565ec06f 3 Decreasing-Diagrams