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 (+\4< ]S]Girth_Chromatic:threads=2elapsed=71.572cpu=124.744gc=5.124factor=1.747zXZִF! 0?h]ŗXf1-q恈͐7ӺV -fZEw͠5`Qƺ#_"cht@BC|E.jlkϢօ y4eG/Vțn5@:i&$Ys{wg.7م p0a)r&~ o5p5ulE} V+*$۴&u9UoUE7zfMuEloNKfV1@ APE4_)y/ vad;`UV/owK% S#M^^!v1٠ "LZuf884RRt_OϞMmlM1Avk7Kjeܜ4弡Dʪtӿ%2uoG?O ,e CbcMyX]w'-z|6}I]ZT7j&[ϔ{>_$ZQPe%&@Da>хC bݮX7 9֠v<`F:ge@} o`͌Nhtp/N,N@`@Mn=KFSD4O ?GLvBNJHOJ6%0rOA Td+[dJ9Ə^$엟ZRƞTnP݊59gkE&XÊ.B$4:+y™eQAUi6#c aY*M)! \b{g.Xc7/lmP eќQl%DztRC m)^0K{T *aC9 @QsDr%9 jb"Ssk%4gpar)꼥6] ?b/5y_7>y.sO@v2Wׂ:oά@Ưj =&&p\,CzݿϷd,(60BQ׫*ATpTwH'bG` /f>:>ѳw re 4sOUXhX Yxpbly;SAkY1SS}NZ44l~)٥ `$>gYZ7zXZִF! +S]ŗXiɟ1˦r+g'Dgr>{pNa5R^m7'a+FGh}'6tXpQ p=_GE#5CppF Y =L4MCz`!V]WCtbTEv͙L}\ 3*Z)ʅp݅&U7z^gI&:]ߧr'|Q0ED; $B$a4 M$.>D4 "l6_7Xn\u*8},,5'LbKwa_~_gSM`)WgYZ7zXZִF! O:X]ŗXi%9#ٲ;o 7*ޱ!frh u90EG0>֜4 Fc5WB8֘>/i + Girth_Chromatic #?ĨL#+.1"|To6s,wuATΚwIZI:4b"#MӀֻa:?$e;M뇟exQj6d_G[eвPf|$c Ú֩ǖD?VTk8ۻghaSS-VPM6>YDz *n7R2;z ƀ(Wx>)юp M Z$~>\dUzAZC :g$ātpo[>cL,vX{$~0pO)eu `E1\ESt2Lq j'Q)}_plը<;;`.5JB{C3#њ_f/î\'+eT !|^6D]RwB5e!\}Z;sjoIF#9)}4yIyT/.p}TӄeOΔ/UN-_˺k4LNYDj>k]'-Dp"6:7D GS|8|ƈs^r}4ˢAH[v)-KPN{T&^IG n J}AuiH3%٪4lǚ[+D%m}] &4nPS/g8hy"yX#s^ͱCMZg..9ִ94G*o!i~SDEtؗO2ޱ/ND SQ?PDJ#ZܸJ\?Q0rYFW7(eyz }JdF{KD]Hau+N SrI &[ʥԙ+ x5p gZLc I9G W(iR O/pasG"afmXnxۭ^!o7d HgJ#lY|gH\%5`'JWB￙eE@V+4'h0#m9ӹ:{w{ j UFL4hSdLO7"PwA=w69ga|$a;!lB}u P%*":vBo@#B}Q1yIy~"f#5/tg| -4ge}Y1WIR.Br(j<ز)Q4 GǸ[׼-SQzF|NWꢴ$)K_d/M4 Ҿ;rE`{u`T\=\uӐA+A Cp>5݊p4LJaՠ.z!_Wg)ZGzzEۆ}kq#>.1rDe NB/rl|G.we׫t! )g$V4t~:mHG$Ғ-/q(zvDܠmq"V8L$kkM1 'ٜ$*OF[ZՀ<{bt!?o~օtw,7^A&yeF_̵=aoSᷖOT* QP-%sp*M)4`hE*VhLJfZZ\#nZ O>~mVcEr5mvu 9=mf[񻤊P'G"u'c`6j/QCXc