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  _ _+d|\ ]% Secondary_Sylow:threads=2elapsed=5.755cpu=9.456gc=0.352factor=1.647zXZִF! B]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃#>g BcF.>xk.A2X 2?M5+J*ʧzV;N~Aݙ(njVm`L?eߖw~z{߁j$o(ngZ(^l*anIȎpcr%JqzhH+n[M#]RH[fA"NzWvKjUjq Wȁ/J3cxw*#EoYwQ" t{R[wZ# 16*Wn۝=A\7Hw EB[tX=n- ڤQi<95o?]'Ā̓C.p!b[Ϋ&aHJpsM䚂~Xe;VEX-nU (RTʁ1ZNi0lCxq2b`qgG]=`u8^mpAkSvjV-X[_gYZacb54f0a4562073d80630d177cd5a315f071892300b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c d0f680a53915d416d3b26c69192daf67ea9ba224 0ab9288d399005baa722ece98a2d7db4eb38611d + Secondary_Sylow