SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 5 4D  Lam-ml-Normalization:threads=2elapsed=9.875cpu=16.364gc=0.776factor=1.667zXZִF! 6]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0}XI`:^(!@8ź^,cVo}|ZhieyW{Y t;^H}:+V-2ag+2:mȟ G\f[#o,yW]}iΝ Rư]FZ:57ڂlqI@-Gvri%U?ƳdS }`a<0} aZLdavٌ7ܸW.hn&)E m0ӣr<\irJ[Go1co,'cߟc-b׳%aPTfnM_r!~U2kPĎf{$q f y@ O=G'YJSζXI IR^,,PFsyԜ$XsbAAz1_\JTeTRd Wp5>T]y~+Eb--6ˇ Wlq[~^kp[<BdsMj1Y /} Leag] ͚Q}t㣚}@믳˂(L;Bp<'Z@ 햁ު 4;xrPpaXAc3u;Ͷ}侀?~R$Ǟ&dmmLZr絚%a |aRZ  mn``gYZ7zXZִF! :y]ŗXi%>2&7ko5h!ϥ5I!IYrj!. bTs"([)hJABw*zl[4RRRcNL3 QJڌL/V$yHOu'%m@>n XZ1-00\9-;a>=@i٭Ͽ8a!|aۋם=(eױU<6~ _ulCK! #3wDcAf% t<泍W#JR؄?DfZ(ۣ}5iC f 8;>Tބ~a$Y2a52X_a-DotL@G[_ 9g0c\^fO\ʠm%S CC# }*L7ǟD/NN=m oϤSŏELH #ᤠW,fFM++#no-+0ͨ *{rR O%Tb\dc"6t5mӍ3dlnOL J!ZLh&1Pߜ Pڏ[w(Q*71 T)omm3>ߕyGGyufzt:tڤB#<MEMJEf\&MGyz3lPCt0a.B)rWHފ}.V lmۢ` uLvkz[tS\W1X U;2t( gYZ41caa02d23e239f82f825159faa07a2ce18fcc1e 4f85195f0384ef3a874c12c5bd663375611937e6 7cc7e252b39545aabb4716107961e3cfdda9b61c 817de0e320dd9640c7fad5af9e397d95d33e119f 8d065f375f639d3b9a5b76c07b27058e95555fe3 b97f0f3a5d3ca105927268cd2364b002a33511d9 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d4f60f18aa580163f9123b4864e1ab9c83a94e8e878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 d0fdf3100d7f324450f60918bede586ed02a63ae