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 CC"+ <$ +/ GraphMarkingIBP:threads=2elapsed=34.341cpu=59.772gc=1.088factor=1.747zXZִF! W]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2WjW ee)ҍ]Tg2 NH?#XsLY@mL_?1uCiÃ(솱 oa,Ckg$vPOQ6BB^åztoPv?٦pkwW5Pp@-$:` )+7"#~#i*'N$dWT$,H€f!yW-ϭ4Ь͆C4h]J'] + GraphMarkingIBPrڀ h2)eRi k1ȧa0c}ƈm]쓈0}+e}Lxg/J~B(.Sg@(ѮUIQ.a !˭ň2|4]X5ͫ_WVUSlGB~tE=2 Zޣ|k[XTz *4 ^( +ɗ>&&-w *[vxӽه4crNQ6e"O%*ݥ*hRU4a} xR.[A"ΫلHNڽo#O6Nb*sw4 &j.{u//6TR|Τ]&= )|cSՍfs0?ZW/zY ~z8I2elHRg1fY knN, h>k?ɩj?GdWH颰ǘսn8 :Rtx PGTA=YfcH'A}'<p`_!Zj ,ʨV7EYإry(G LvbO쭾nŊfllQD=3VA&."˩[SX | gxe[]+/5O06/ڂV_D$wƵ:bY//gy'ٕ\ޛ:HD7]qv mQf=Ba旒ag-@Pʤf9/~~ 8ƙcAxorCެ 6t I^+NقYڔTwUD /, N~4?D\0LfNIkvSM,83zzz)̰Aww6u7Dȏ<3spNUAb^ `ɛݢ!\*ȕNr5C}?t;i9L^@F^%Ѭ2$v# :وވEÐ,  ]]X1EޭARc=p&P{-R(5ҩcv> n`1R*o_qaYr.T2ّ5 )|ҭ&R1ʯk9:_GO]W}ո?j" "D\Q[o.WwpbvKfblQ&ffʾSSFn$bIJdHqZ LPGmߡMo/|fsh 7Sֲ[zkĠǒ9]rJR'>3N+wYVcWzs[A&2 YǡVpC@ɢtnfLxĔL.Xj[tgq?nI.y[ ij[ $,)땆i|E->r6Tzo83̯8`W3P̞8#hq?+ h _+jtPqeH6B܊ҐtWZ͙QHx~4V(z lV&QGfҴ Lpȥ%A&/yWcz{9C53mct?Xk_y^eQ^RGK1@pXjw߭JQ"}vcOjU?uu`ȭ$Q 0NwͤUYut,gI):g kD$ X2?"ᣋQTg JzE Lto|fe/^4ˢDZnI iv YmB#ܕК߱o{=f6®SeYlwi]zqBç`eؠ,zy|+wo(8V@Xm(s#kZn_BF+WfhRfŅLm7ڒx(e}u\/:ݩ}0^V