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  b b% < 4 ]]Graph_Theory:threads=2elapsed=46.294cpu=84.036gc=5.500factor=1.827zXZִF! @]ŗXf1-/6vRZ)yqFO[~QOf>:ﮙqP*VX0GGU $rFo#IhId g a3BіNذԹz| m\^edL$G֎X;)XҠl.atuUhbqzwxi+llY326JTfPA2%>X0m g2gn@EfninS//2RM׶U*ƈ.08@ABIznؤV5aվ%ai~ÚiK҈SNœk: WzR&WfpnLG3) ^m32hC ش,>we^8 erl ޵M<=8Ϟ% ٶ#q`岫A͞@\(+`7C<Lxk<$axm FyySf WQ$U DasВZms_~9A;Ɖ %]sLE=ӕM-Ӷ\-K/U9*SKG_ Jߺ`O" !|,137[9Ʉ>l,S!?ԗ^Xj"]fD>: ?fz+K:/An{$ C`7Q/ZuDZ#^).KDfhֹ0Lg7lV/ i=-40)?:q)t{k֝O U(~Gcp} j("Q5/W@E6ܐ`8`N % Graph_Theoryde 3II;vN4Զ iρ0l%rbZǩu"6sw>1 @tR}#Jhf˨i`Z]2pjk#lOqb;+0wjx5&+dvw+O{zYag%@>i%nCn $D449d&@яM&*j@㕽w5ADe4 EI&>$+ZΜ2`m'%OAՎ"AOg͓0܌@#7Wv׼AcNW_pK٦ DRlBP$gno<%gJo*>وמ(Sc!AZ!qf9n5"\/f3L`ɗgDE'b:oϩjl^5]zd,=+} <\KN62kd4B~^VS(Ն> ʶzgYZ7zXZִF! +]ŗXiɟopHq>];8h_‰s'0|kU8.m'a-G}xK9㵘1`DBn# :ٮ8oŪ )2:EܶFQ|4h,bAՃ`0F.J, i[g:wPzv5L_GmH> l GWH^fWHC0e~ΕbJd\oUhWY#Җ9O.Pr]Uxh"l%DvKݦВg7| ާdNaD.`X `aeY{Z"N<2snNtObxJ, ^[{gYZ7zXZִF!  ]ŗXi%;Ɓ,G$c˟rRffàzU^[e `KeMBD;k2u"9 3?9#|jRPYLjIa"1=j [!W4Đ{Wܱt? X40vTSh; ߶1\>c Dbh 3\:GKEEm.L$?Mjj&5?qi&*_!"Ǧ(,)LC0֗mk4ᐼ9@rPvWze]ז67 T+fb<-s/ǭ&Jtn*suu~:)g^q/rv&º/$݊y ܲ(7o4Ϭc Az"An F} ,̽K^Udl)Hpja3@d3,#赈3F `. |&bX~;ϟo\dd`RiTգnd -DI#9?1@SUis\i98lwqb< Y5tjE\̘7[QoOP,^?@g)XH "2xnV e$)]Y\L[iw5bs{Q 2 $R |ޘղrk;Qd߫J,1(gmul~xn?6=Tu*63Ul,c,tYtPVxNFE!Sd.k%46Y UYq_HOj7y yԤdF?)L\.Ү&g# 㖄іk#G7Y<&c9<+a+d{͞[Aeoԕ %\h>D93U%㉜Eפeht Ga ^Y;Pds ݋gE)@&eȩ##99b``LNM->@.z Zw?> 2Qީ a|iNS HrGͷ{NߴB=tZmZdݲ㤰 ;dd"8yiY޻5eqw5b' y2="D_jjp5{*-HAd)iDLg^n[ΠΜ4APк"k}ٙi|x'gteY;n(:10k&͉9a}<$Hjt*ac1ه'4{=|Z]lRKfeۡCG gsFYʎi~B0dU tj1Dz,GxlN7w{w,H/;:R-= 2nYF}Eur{UINIKj߫XɁ÷o-48q")>sEƊ@ . \hJЈMBCËSdn;y& հ-H_dY5p;zfʙQ DP0b͡9;]A`Xb1:?oB]f%q2ĸ#Zظ+:ч1f>Y-ƪ8T-8|'ʸՠW+炣z*(A,7sB$ ]1qLtqֱgն{D}f@DWȂkNvNSwr2!"+li*ahW?'uMW@ ˄h'6H@UѮ%aOfw$7M<'̵s,n8hq!򚲗E/l ul88ZjQw.֨GWKF?A_HFޕ}^(Xt@i/ E66JWH8.K9 [|bE*U1"A O$CyJ%2^zO&.^ve ?Yޓ~|:#JQ xE4˱Xn\USCt7pNn0d<ƨfxPq"0H [ ~>f1R-0w.rt&ag6Bug╝i'}f% c >0Qm{Ue7H0Bk/)5t9o;z5<7{9:Pb_b5)^,ؿ4Z&(50,5n>J``W XB9o"DWG;#>ƥAnm{%tB)묝\ gYZ8d45a866d32b096f1d9f8ad05d5cce606abd4a2079d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 674eb2177a7a1aeb269732aebccc9887dc51fa483b274017d00f002eba61219fef9b0fd7ab9dbae2