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 \L / Menger:threads=2elapsed=10.405cpu=19.620gc=0.636factor=1.897zXZִF! Ny]ŗXf1-/6vR[Ɛ{݅(X͊-7y|!]5\k#is9=2z9ˢH ә1`v9dmIlvʃ $4Ji1]-e0}X7Df/ni %{yPG !]=冩dtLZ7eQ׍ۻS%KCLjQN`YdAn#Su87j= e@c̷ ߈gk~{61ۦe(6Z/ ,Ijc[kOhAmQ)1!ݠÌA9RV0D:87G&q-)QV2.|tb||?A_ RdoYY.p$9v bDoB Pљ-@=CSY__ Ɋ%sO܌6_>1GJC,`/u+7?{93 @{mdn Œ6l{ Ŀ_`Jn…Q[*4D q&~H*JnBN0‘c58# fb9lw~Gn;N*^ ?Xٳ< 7Hsܲ*C*/lު(:;l'L {/՛3JAE^>I.%E/ MrT,W9T.†`(k1 3D8 VrkLXY`2 ߼ M1Y\ߟ7q0?jYxc )l5*X@WmXED8Ma=yOg9aZ?neUXW~qv,Ma'>=LY[/E{2jȜ^'C>'ZےD ';001G)(kY_myS\7jd{eXB7HNmgQ2!Ah:sy0ϻX<q欕W\//C j_t5Ѕg6;DT ҭ!NJ!-䬂iD?xU^͛$Bph%XѿQ}NҒ.s *q$\,Hy:XĺG^W!+@gYZ7zXZִF! ?l]ŗXi% pr:LƔ8Y8;⿈4q:t:50`2ӬrxG{7*pCȶM'/x#){k\xk"-xBD2 U[ygЄ)sRdfGtlUBZuW~bn0wܹH QhfH.;PKLe ä1-8h到t ldF0r0}#:p>qZ®-UN`TE};^`OcXmK7byƐ IJa2$n]8|ME}7-rf Qr }oZf^W5G:] KI{ ļHz !|95a5g5,5q0l6sg 9~h6Ff \c:z!0yXzsG" c.F xJGMg&MȴByÈ~xt8P jHݪumfWn"v~RgYZ1c6d7d5cf895ad9ea594b3aefc71d3594016f6c2 25604763631775a1dfd72d8058d5a85198f1673c 25f683fa730cdbd88da60162554e0e8519fa81b5 2c3c130d6a9a6fdfb26f93abc8abcba6ed60be8b 312c12f90b5f5eedc47d169f86e00fca9d3fda36 43cca415774b2de6aaf537239f0d422e0f43c0db 4e3fbba262e5fac3b5e62cd0ae924b0f0cfd9364 99e044dba8020275f3699f340b30c3b3cb96b9c0 eef56b7433c480aa7f86db485ce709e5792b6158 ef0e9145fd33d533c085cf7d590cf16a77f92a42 f2cbe1ab9c807e40472dcc3c6ff2e8bf9c581b9d9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4   Menger