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 m <$, ]/]HOL-Word:threads=6elapsed=9.078cpu=39.992gc=1.604factor=4.417zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yÄ]\.]d!YvnBJczv𬃕l!(tO>uҪsnU M_Smc u-JHr`$nubv{ot4ftMD_:X>(wGsMYsۊ~#$\ '̟hL]#~*Ӡ/8qJYl6sjƱՅUw|Z\I؄iwtTL^X>z BVmoPFbdZDqɅ-,v{o$EⳮD,ҕ{# rpVH"("j'FQ{YN;YtauhFa"bWlr&>Yԧ@B*%̄`*Tm>Xg1=%)-k;G} qQR~9!*}$-"{n5_Bg-{$>;|oB$HdڟOUlZ[I 9nC-X.ZlBئUsAmͼA|Gx>.Y{Dń;KK;[:7sկpi?iX &DJٓ-g(NKܸf䶦$Z!رgYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.ATT3$q{idjKlb$yBa;{lM?tIש3p J7|^'rP>*czc\C 0dԺ &Wxjڇ y2;JFtNfK>,YiPW1n5 . UrYYX"|PQd@tl.,99m`)=N'?T1>@eWltEHp-$<&_q׭q?[PT7 {)coMB"wmOЁ :]$ ~wjR@)2NQӛg{J[P+ YaHǷ3dAYTY -U{,d hFxheĶi[ZyY9tt ڢbi8u&͠^