SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info $$M) ,L w% Chord_Segments:threads=2elapsed=7.832cpu=10.080gc=0.236factor=1.297zXZִF! ]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mH췻򌋎@i ) Chord_SegmentsKFבA2]v||H+U- @!NvD5k{E 7ˍTͨc'|ck0ňPD|kj 19RE~oM܊^Q՜twsLN^PwT^R6AKm,4cz#io֫˨۬/6M8˪(Tgyvos:+<2Kޭ"y4y72(=yWgYZ7zXZִF! 1`]ŗXi%3xQ2uc-Mk!8 t j[Y*_Gk ̉bkf(֥{d[(e7NKB$w#Θ( ˕a2(aklѣBǧ!i8cbh4< `!|z 3_dOv厊ߑHkXxGŕGao.|9.ͼZ&Ӕz6~;SoM-w3U$IC#b(Z~X^I!% b$%t-DN<eQdW{kϼ_>N>Sb{GʔcRT68yD[Hz5`,+:ZPd'c#nX