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   m3| m? EdmondsKarp_Maxflow:threads=2elapsed=75.380cpu=115.080gc=3.352factor=1.537zXZִF! >v]ŗXf1-/6vRZ] 6.Г4lOxf;v=LB&:S O#=iKKDP`34|NzA,gI,f/hs dgZAU.$X |2*|/2>`9 lv wFaBBm`˃ .cm2?:ꈆEE3%Gٵ\TPߢVQN 'FWV!=&t)urNSM̻H Q+alxU{JkC+FrSv@_s`TB"’b}\Rϫ&/ m}-m !mRb&6@/̢H^0Frm܍* M]F*ƠY;SƖ6#oN}`"uJ]8hE r:&PYtxxV`L:۫^ ݘn n Ӷo7WPz:BlW۫;lUh8w yk^ċGd~}6t̲R$$Dk-lˮ:BP->iL/k;E -{6$8=4 `Q V%댜77=NPA# #慦;IdMK֡u6KX3|d7qzMU|2c4-\aҖEkE<:C2=^ZUTPA0IĞ6T|g6;EĀ9Hp8I;`c%[qÑ3ۮяl]&B]q2D`Z}\JIF[m(VG./2p]{@NPI{wBu+'I3(3<2(.;l" JNP![Z"ҋBsp`DJլp +Lm$>В݆p[h#o8aMn>&! &-oxG{\.JC:PdveG]0("^J<"X^1]L,˴]\5\OG]!a%E˯O{0I+pm4y)(j])wALR*H.c[Wa.}*Ȗ0(ν&Ggdϝ )NHFqFm%+$9Wwǥ%2g_Jj?@Qˑ3gDA.e-XCtF4]n\I:-xoMl4}1+(0[ /kld }ЪgYZ7zXZִF! h ]ŗXi% #uHI8 GˆU2=]c/: q-l6hd# x[o)劤P^Ö :^8=!Bau':#:⮷b2> w<)1hyL-O =Rfe^XǚCsl 3 EdmondsKarp_Maxflow, gd$0r- t,%åz4p;Ar:lcgJ"+/\U-}|;}'OMT=9xZ /kwR9@Eg{3D kV=LϚ)@߾MKƟ숃O/doR864[r[TMH5M 4^VS}fX[7j6M=ޮaėbΜ`C a7T97V*8/.ϯP@~ZݭC;X?&j3O廠ž[q<3Xű~,d{aIL㪵4R 3Ad)"wN[w R$!pY{{L1VȥV+&EeTU*-wcNm^-xNZp{E0(:$Lء\ /ڕ@ :bc~ FeQf,jm*%rBmz@m;L=H"?/N\#1+hNBʣ6nt⧱ 4$!Wql]TOExVI6_;R 66V \5bhxH/EetB+y$M^˫_|~Հ%($Bs:I Qi0tb2ٚگ0\Hu\3f޸:ۤck*®kE:;}|8un;}'*NeU~L${,5UkŗV@\T/~b?8קnhB :쵋͆j?W9y+>/*%{==Kߏdbp,X]?b? FJQrU_Ji͜Mӣ:[HMIA4T8 fE%pAaMZwL <dASpUWUVb!% 4EvbDN>ܥx+q$x}ى7YRd PO1w8㷌'VwTʅ\{LSZJxIwc8h@٩b70OIĉllA{룂Y%IT GW&އ+˺JB@V#dI'LxbQH{wḾb 5lQr-#a^]riSH%eRO ZH3 !0q}jo1)o8lǹwRv wݽ\IG>"ʤ5{cTe Qdj|xfoJH=~ XпGZC0 ^  +L>լFc5ɾ" PYA#^ꀄ)Ļgo1Vs]=`RThz5. פeZHķ i6|YM=m+KʡTGY5|a_ffc\DJm5Uo# `O<Oƈέ,"RxIJa|vBJO3[> "|i7KĪhHş;k4>GS'`qVzc1pڲd-0vd5eA9٭W s@.D1f_j FhW6i7hb2j(v<əqnRaB?1VaLJW_2!Om( J ZW:_ɻ2C}nf%4ixsvQ3QO>2)YH_J#%P ONs@7  eWl~S PE躱E)pĻ/'7ǧNjMmhnHX?(0@dH "MPGMgYZ0737dd6b16e680d1a2657526f9f8291c096f0a27 0d1a888f4ff4bc17316cd2b1daef8470db67f03f 103f8f9bee9abac53092dcf39bd82e4d4a41c857 24b4bfdb8582799300c0a259769bbf2865921cbd 3098e3fa620057b764fdbdf02a87fefdb2e3b5d3 309cfa75c4af17cdb2de7ad8c7c8b57d43015046 864ec4e6efc9d2abb620004b34b6f296fdeacf9f c7a6fa9ddc83cc654505472c358f561301d024ae dc1712502c6f4fc019c621a50daa5204b3d36a6a728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 0cc2527958cd924301fa6429f6d107b1578dbea9 9582519971d5557be05040befdb760b0ffeb95f9 1c7bda78acf17451a69513aa2dae29bbe8c96614 1d32b2d0658d35f3b90ac1097859074aeb722c9b 460bd1a522d23ca86d27533db1dff21974c58f21 24ac635e789a03dff5786fad9cec9116bdc2f4e4 52ad2f5002c1d4bb532742a6353245d6b82282eb 012525809594e641afd5d3148a225b9b52ecc97f