SQLite format 3@ . YYQ77Atableisabelle_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, "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  + l ]% Secondary_Sylow:threads=2elapsed=6.302cpu=10.452gc=0.368factor=1.667zXZִF! ]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃]m/D~fa{ , -}*r[bهo&yk {޽#4-R ȉNP\TߋjLTϫCcK嗌yv6-^*GQO`',{-;4@~K-$ T8gYZ7zXZִF! *#>]ŗXi%6At=!#,TQi)E(vGhLYb!֖g[iCp+ưyBȡԿSM|5kKjEh]*zv.U8֑2DNK+j)CU=P,d B:pUabׯox.tAO ?`JWƀv,T)M8euqX˟7?o3L&fLUU>q}`SI1 54m:‡ Qq \'q*{4Rxqq~AcWqR) P"֥Et hĻ?>lop(O>BHX~oI1d)WB% e[ƆZbQ`V.ꂑM/ PY Yڟ мm=xz0[VbRĦ 98uO쥾Us K+g\Daޥ=/i޵uI"RW=OV'+v0MyJ.?(`yd,iަ@~CbX $~+<;{R<$eRJၭ/*x[ nsbIm5/}^fgnS@ akA(t.~6k'/xZ{D>YP .:y$8i=!U DẂfGHU.)#Kp' W47j5,:fsԮ#Al.,T  VgYZda7a92d1fde77e2bb439921df38a393d5f4a6ee9e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 a719a564881bc4392379bb5b59a6eabc6cfcf740 0a0b61ef0e5c87ddf273fcbd9d26a78087d4bda7 + Secondary_Sylow