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$ / Menger:threads=2elapsed=10.897cpu=19.152gc=0.560factor=1.767zXZִF! b ]ŗXf1-/6vR[Ɛ{݅(X͊-7y|!]5\k#is|=ku]YM֣zn(+TϞ6DX$!އ6~~kW~fƦ&vZ =|H g\R!,(;T>yfo-gI݀#=:5O){1  }r=Md V$CF7pv d _G S]] % ZgYZ7zXZִF! A ]ŗXi%}!jȏ; iq7) _^wN ㏅"j)X0 |p`WO^ _~eP4p[,L‹8Ni?V&Y)LhLj#)LxHl5 2ޣ{ڏmay} |O+rNd}dMIGխBkMk"3Ȩ '/fOHt\'pd}*_m?>¾ؑ1פ`;Q0BaPh$[Ƈ,[#ߣ6zR ؆+릚+^s@P/,8ւ_k{j[[+WowÕa3r{̝EL;xgRPS֊q͟ɘf9'7̳,F {ۦTAB֮{Up{ts^GF:^h82ʙ?`|>Bh.yW7nЕz!VOI!44LR2Yj;7:k @5O *)F_lkiqА?J/{ܑ4($~NUptZw M1[vI(7+(#;He X W4 :{-rdeN,T4Lgq s@%,nL WPf4ƿLq|>rc@zW':lf.3]{ˡ2_?.h"*e? Kȉ0 lK;觴_a[ fwY!|oP).Zݹ:WCo>x.'gYZ1c6d7d5cf895ad9ea594b3aefc71d3594016f6c2 25604763631775a1dfd72d8058d5a85198f1673c 25f683fa730cdbd88da60162554e0e8519fa81b5 2c3c130d6a9a6fdfb26f93abc8abcba6ed60be8b 312c12f90b5f5eedc47d169f86e00fca9d3fda36 43cca415774b2de6aaf537239f0d422e0f43c0db 4e3fbba262e5fac3b5e62cd0ae924b0f0cfd9364 99e044dba8020275f3699f340b30c3b3cb96b9c0 eef56b7433c480aa7f86db485ce709e5792b6158 ef0e9145fd33d533c085cf7d590cf16a77f92a42 f2cbe1ab9c807e40472dcc3c6ff2e8bf9c581b9d0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f   Menger