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  T,$ ]/ LambdaMu:threads=2elapsed=8.426cpu=13.536gc=0.452factor=1.617zXZִF! $]ŗXf1-/6vRZVNi2uD0[~1 R5x c.V!"(ElM.$}-В;ޡLy7ED`6 yS^71y q Iu1`ϒ=,I"|3ng^Bݮ:*7xbr,y0_=daQd4 Sg!37 @[ 9-ګhڝ,%)Tao0eΰ>كvicq;p>;@l!l  ]gYZ7zXZִF! ]ŗXiɟ؀6t72 ;[8}$T;|'>޵gUR˒r 5|}%(W R%6!"B\E%\_֫>0c9PVZ{DLgIՁ965`&u:鋵LX:Cl[GLeĬPTؠrkKSxvp_ Z!3 }{Ğ83.\ /eAFԢ?x,R)t\dvGCw$N~lVPnA.^ە`xO`gl䎎JS ̃ >TX;X[/ؿ[W7&$3z'JRL̢\/qqwכNLT!gy5unsou4UfI9NvFX>K?xl.x4jo~etlaZıs6ѐRXޫ߁1)m,VY7p”׽mQc-9dOjSgJ4>Gaw4`q#ں68͎_NE.<#zX0>hC{# + uƸ?F亥А4E^-Ԓ<ЋQP֪;jemۜSuRM3(wSb8$ WOm:F]Ctl_k1yMÞ`1otIG } S-dñ Gi4=8WL~{iJ5w[rܑnF-/lN*$ =y`-NAѫhTݙb ,ٸsxfr_Hfhhn\܎uzgYZfccac734f5cc9a562aac116077bbbd4cbbc46331273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625   LambdaMu