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 u% D\ s]Graph_Theory:threads=2elapsed=49.062cpu=94.224gc=6.032factor=1.927zXZִF! I]ŗXf1-/6vRZ)yqFO[~QOf>:ﮙqP*VX0GGU $rxV&qnR=]u A]t+%KE^KS`Q}\΋J :Ϛ ~ 7VKsŠ&߽ͯ9]/zRŹ@o+ziqn}?)buZQ 8F.?0F.*b:;R.y-,IU[]a#?-2Uf(9Fijͦ=񨯑2@j١+eaˢǮK ~$]йK>WGߑ疫p7 ^$%n< F@)|4%WQoWRMEwBZ=,;lx]ٍbK(fEl5tSv׎]b;o#;I`qi*~3 ro?w"X7 "I.߸8 %j5w 2t*pdp\m9:^4`yFFp{4C?Oc%=5f+/*@/B5]跸>Dn1)3; QSa %!限4R䗳&!Ov=[.)foM1 O<*u@as[sDn; -|uՅB3pg;a~C'}r=I8S;1V9iyHZ^7zTy'nA ~;ۙ;eftߗ6rE9,<ܷ2iIZ?y0T:Mxֽd/ ThC_I$Y!>dHaϒH.ZŌ-lznxptn;M?~&]5|VXXGJƏ׶쓜^4BsJ._0E{aOf/49ϿaO;qḄZ=|״ױ&1#zty%תsRz,g0fwS޽&A~@3鑖l30CH@KU8 C -gYZ % Graph_Theory7zXZִF! ]ŗXi%6;؏V·_uy$z{h'9K*oRK1-9[Gv ! r_Mx+êk {T^A7KA6qV< *eCɣG(hJ i%hJO)bu6M6fRCh$ vJ4NrV7+?b{zBU"ˉ󽅀}%ra7n"W#8i+KJ:ɬb1>itFRYr5'OC& Z )͂"(}﷩{'sW\C|[B`id`|Og\x.+ޙ^_ee5Jv 8QɴwlV l O5et?k7id[mk% >VPeT]"K0{?[6}2S$"d*ZqS~KQS`MN\SۤܠhVl`|3T$8fzNN薩bm2 kRmX7QR~1GqT Ť^#8Q,zYc IЮfD 7[y^M l~bL ay^2%_I˟q}FYbI/fLÏ73R, A#!Ii9i11+}Dy6mX0~WޝrfA&Th]?dcnCwU(@'=89^ jS 8416Ca;lIm .e PG .FĤڣCMmK0gBJm!mr֪Ц8ش7 O_$8cMK<4hguG(}9qzN@KsO9 lu$3GvdK$GSKMM{d6{un]\NN!4}1ge%#=|zë|\U"zen%2i|ARc5)=-Q I"0~:c>xy4 03w] b`9Lq?oNRcν S)y/ [iz.lj2Ų=S"wA;rϞ&=UW0_U5YAӐ;ɎreI,"&#Dg(֒{PBX!.؟PoEBl}KKLPa1g0q"ew3¾],csv茓ĠYD"]Vx̋ \͒k=<=Q&6ܱ`K9VF GL&GL>?hO46P=ޙ*YR2S-86*@m1}& /x/5n1v q[O} Qw(k:SiE6Tk˴l|$^i VP&Ls8 l5["|;I('RsҟM 264=Q4d~5X~'+naX/I}v/ޕ&]<8/ q޳D, $B6cT`_+Ȧ.w˧o5Ɩ^pG!Ni2=Εb6諠[&guS gۄ7\{Z9ͮ *£Ϥke̙,kv[5Z]!H:F|0lb[&ϲPQ%\֪W{NgX, my`u ^h|,ŕ8a5MeΡdPM\t><&PA,((V% ڞJ$bʐm!0[_hyia}5=)/J7y֕>`:$nl]]CdLH+RKKLKŷбdJeeYK@,A~r1EgDѫ0T$i= #`O@PLgG^AjM7U8w{X|EO@ "+,12GX9BedoM)I`RL}6_|Rwg{e ,>@[joNuh)hj!qU$;<\7/Md')X"Q,~ty]KYz2sI&Fyx%ك3 XFג`r6>J)ft Pi ^%K=0P5\B.U,._ra9{hy lv"lj}nEOl _5a?z|S7ܬv\5jkbذA(PvmTۘ-(]2-K!#8FÔ*c@DNݶT4IS^rb/ \eL'~8IUއ.&J]ҝ*fƒO#I%x+UèWnt%YFVk\|ZPaR*ES'KkpiLVcHTxmntCq!_#Cao]R"F !AaS ssR%h?hάj0G"fݷHQpOF(p" zt7.o˿X~חB[0կ'Spi6; erU1-6KOe ө40n˯ n&v̤L|逶R׸+C@;x*v;(s5,O \xL@pm.U