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  { {+| ]% Secondary_Sylow:threads=2elapsed=5.702cpu=9.352gc=0.372factor=1.647zXZִF!  ]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃sr"/)BV{.g_:am8G8o[''{="@lrI K(VOb {yPNW}Om}/DzQүנS gYZ7zXZִF! v]ŗXiɟy|1J(*BhJp4N=f/ڙ `OmZ(YJ<߻ӱg9.Q1DߙrDgqW3a`gj 0dgYZ7zXZִF! ,x<]ŗXi%92K𗦗,*ԤljSe#C)^IWHc@`2ZWG Uo? J;Ⱦ7O0S&m0Ҿ {k$LM1j+tߚ"#TW-bX\7V7Mt*,力u P/-1&k=c>RyУL^asL"fo*W4+ң}Ӣq`R(Z[3N $Ul+k Hdޯ|ȋ`w5Cf~JoR?q¥P"QiN3E!>AJ.lP}+[z­+1qvN}#S},@:!VVKd6vD?^p̴ (`<(kiKnJU;8?SbHICA m\(>~vk05uw r46Aȴ, 7H_WysP'Ij^킃}2=Ϯ^{˅m¿MX.s @Kml~&]MB**ZhX+gYZ6de30aa1c59b0b246a271e1c0e4f617164562e83bc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 2d6e38d83c3e90a100dde7fed1e4308f472211d2 9b8c9cab83535305bb7ec47115f62b016b968e85 21fcc5bdabac474b8d8d9b644f021b540066990b + Secondary_Sylow