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  ? ?6! L S/ NormByEval:threads=2elapsed=24.734cpu=47.688gc=1.484factor=1.937zXZִF! Y ]ŗXf1-/6vR[yK6Φ + ?:%Оos+[1x ͭ ׾fk$٥+E1wvmQ0ꊛC~aSZ@ܹ;XK S5_ j O12c6ÀbVr(DzʉЄX)`_@Qc*wT-~5Rj"_|I;YYYќ"و^Q~*Ć>`wt`Weg0e^ѭ1@>趟IKю^[R=]tmx'R "6f%bȩ ~sv5u[f8<Pq'[\$TFf[ܳ+xȵ⸖gڰD?BJ-k`K[O*v{nKQ65 Ҩ1Kegf'x&$e=.]aݬG}7 ym&h #+sdXZHI>'Vx !k@nc/Cf[i7̨)Ll 6;[chT1\}s1Ǘ]HfA0g2Ơv~TlܣgߗSiH!y?:@a_uLBi;ȡd1ERdZ\AL' '= -*F,aw٪jdBȊ`h1Xv(@{A)iT+!Nf?rNds%|H=3 (i I7W$?)(jAyCY厏YoCKT9z|TYMذȷE[F;zHY~ B V/Pya\śm6hebf4s#Ҽ%-q@ftNИٔź&X%  ኽ}:{4XF[p>ZqGqcb0m@u%|W$4C/dqgSp>m{&GX4#b:?isGUf0խٻE3Y|^!$1H1 󶱕c[ ]8102<@#!4: zw!Ǝ<Z?KI ܮIK ڷW}>ҬJ0 2 5N_pLE[fS(.7Vs[5l1p̳Vq48OXk۞[_lpR&ds;AMl%s 30Irdk5f n @HF+N;(<<-<.Ib=klrWuҤgJ\8 灾]n@E뀿!+8?SwJ ~Kb0~ı]RٵT(+=͹riva[:_t<{:JcAЫas?'~J94.nfKeXڤ@ѩe$J|$7*4dGgc-0Wh\!'9㔅n190'Es4{ay_D=zҒJG){Uͯty l^_y|ǐ|tdtYKu(X^0 ^r RFׅʺ*p ɲ &²s7X0EllzO{LDobF= ugYZ478816fee45c9193309fbffde927fed38a13f044 d45d00c6430bcb32d8ec28d5387c874d34f9acf5 dbfb16504f02920db603ce3099063e57929e36c5 f15e9a0267e9c882bbe66e1a762dde09b651a14fc7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803