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  Q Q,4\ S/]Cauchy:threads=2elapsed=2.928cpu=5.284gc=0.096factor=1.807zXZִF! ]ŗXf1-/6vRZy_[&~ZD2[o$¢'CR ~G´;9tAc'LhbN2r.3֨B~G|D昨J不ԜNLch{VX8Du ᩞ{1XRTQB.H]gCJ6FuRt|%"xR0d>*m_c|.M ;(4*kHo Yp^Q ‘ྃ5*O"ުƬub3tاI7@U֫; ZGjgϕu;Hz}oL@G$B3ܙfE 6@puۚ{~W@mHg$P!&ZǷ!-vv>djU$ +Y?jF8U7@J&F ֿЮc n4ν.(wgYZ9eed8fc1f6c54686843ffb969de40b88bede13a3 b753ce16f8428413d1c2f6b2770bbb3d076aa7cf d89fd00a601201ee7e3a7dd13c2b6bc868536dd5 e11e87f81f54ae08d84655aa76828cf8aa070db00ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656ff34101b7be21ab0b7c72e4348452da5734a9ced2   Cauchy