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 e% | s]Graph_Theory:threads=2elapsed=48.253cpu=92.052gc=5.972factor=1.917zXZִF! K]ŗXf1-/6vRZ)yqFO[~QOf>:ﮙz-UMz'5ۨHۻfP( u Ø<DAG9P?@&n{cזo2\jz2Tm(Qdt@NKC߹f+:Om4aj#1]r J)cCyY"ڠKSYOUo)(]w͍z(}\-T}R8A|/f)PF# }l֋,F9ORw&8nn6=YD K|tҿtC=CE֑` ہ:-K/8XۧZMwiIX@gMykwdvs#ϟz]ֽKs#^'IYJZ ?`6BN*_:X???DZ'6ӴpL&셬ݻ,-S:[H#g&^:hni}k,l/]?P:vH;B'~*78Oj"{mJ΄b)ޢ;/9{I 2;1~ٞVQNVz p}ܿXkyŒ`VL81uɉmϘqbɟՏR3k~I j^c̵8W!{%:4@UBÝ-=D*jBBGofƸIf݅dW+OS-qC6ydwJ7b_ 囡{+rS|Nnj*>&LRv\Jyzȫ'6@[.:5_l`(-328[HœipE u[HYSg!Υe5CW܉PF ,Ok(źe~>߻ZLIE.I)~IdLO q9LU}IYѵpu?-ʺcQ,XWyLGHI`q CHPB-s/KQoJsq_`v U\=ƯzEke3w-yGʶ0zޡKw LjT6;~O;M 6ç*Ө#ư簺tygM0z$-z@h:{oY3{@xA~#JF?^t\iYe)o1,`/,w DR=gvf͎JT lu-OK▱RIX"_ hY 4KU2G)<' gq)v%T^.LWzZC wAƇV=y鵡xPJP}98Y8wN6^G^Wl<9䴐Ȫ#v*5 #] {y 9啰> .[})DP?_xd;.l2L;wLTn/QU/LL5zF;'~ % Graph_Theory@xR\SDĩagYZ7zXZִF! ]ŗXi%6wD,LCd{'X]B(2+JI*-܈W?B z|Lq y`rfh?7(p7EAb#c%9vQJ'aZ)] FJ*u: HTގfC<0%ZT=o4^\TvY z>:_rr!ZzA¾D0Q7I`+ 32`-L[MUk-|w3[Օ%q[y=8?0Dw}_/hn ^8@1Q5,d5JM\nuHyC:xDFs;<ׄ_lr: hC^ 3i2/X8C屨r,5<6:_^|JWTf)z%BӼ^Fί=~#_|*)͌.I&zHPm鱣zab~4Y^fY/G(JH=^:6)J`=+s|:ބE?2ܥ!3Ӹ tɽ]U_oKL15K'_ ڿ ;ʬ2j=`^N 0[aRB "4WGpUjaZL[S#ňn@F-IFB]9t$9vo]>_O 'ym#˅rR}{]z|NܕcZ;\gҵ%9`TeWsnĦoX q*A<2"(2@ށw( ""rML:I5q!*0w]R sjƜo.ֻ v *(Np𪍼E/%u+0 R~iy.\KMug= k \60dlv^{!)+O NpD%gR=cH"h3LAhY)rOQp,!/nS a&M`jIqTi6 8pb'ɏAKAݮ?ؽ)3V-gvacjRQ';Ap{q~ñl"XnYmtO$N*8s&O˓7D~wC$U0j}XU|߿LAðrucOoG HQߥ-IYf @%WN笃<jfH (/=)\a}Y/_0cXj 5c9Nn^5Ây5@nf>)}|lr~ZTA/H)i FS'NGpɔ)\d^{R_Jf0}M\EIC7cNO9TdEª 5̑"hF8(qH]t"kM?=x4gȲ'2'J\F>]z ypje>N-)V {<3*D˩A'n%x\X!*mlE Q7"BخM[o8Q6zYaLQ,ҥfX<&,wDclTՒjs2G *wKk49t >[osON*.`OZe6dvZ!Vd4=4T'C!L? osoOnwu-ҍ];87ȷH"Q\R -)> yd]|t\ d#H$i9O+N :Ӳ \ 1("yX= ip7C|v&3{CjC bDŽ`g@L(m֒ײy:ƍgB(l[m_K'~9ׇu4 `[bw"BP>Ήf&Gg<`߈Q@3<9tntU%}?M9ʷ|SG.r_KŐ{ @U\畩 _*_hG=J챽.Yh^SآU-חDE˜}.ZFl#xpxI`M:}цkB)ħB1}Q挻MݦdKAbv&S֞k/;H"5o<oFyVwZPW@YPRr\Zqd m"غ*{40rEadm N>m+ VzX`d&ml,`FzIvK9 [tUNvl $66U4T}p2eJQLOۤPCޝȈ}v.`@]|`4bljF$ݏ^d~s{vmJ