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  D D13 D\ ]? EdmondsKarp_Maxflow:threads=2elapsed=70.994cpu=95.372gc=3.956factor=1.347zXZִF! 7]ŗXf1-/6vRZ] 6.Г4lOx\69Hg][7i3Dyx/=-'+B)"S Q_ 2oiƫ <6&($kk@#HITwQ5h~E' 2oW/21g% ~h+Y0y eDHڳdFY}Δgy XeaVsޓNax^S?TȋJTM,P rV{@9Z]@W&X U]o\(<;/#Jg"{܂M$s TH"rx1߷Eh-G-UTg7%עcn5Yȟ2]qHj-Hia(6K]" c/4}Їo| FDG# ZpTnztj3'7 ߉!i3a0$;ּRHrkhYz|{h7?_ny,0ʙ.=>JO)a? V "V2q.,85/h,<-/.iU> ZGs줴nvީ;ɨ9T.WMzZۥt2ޭC,{qQŠ]sQzMG[:S\s:IR uفq o~2 3 EdmondsKarp_MaxflowgYZ7zXZִF! ]ŗXiɟjUWOŸAzxR:j>g ZZ 󟢠₎1֯7 ˟9 FU13P NOdl5 u҂ e$<PrMeUl66)^Gl:o+¬{Ӝ@5\d̚ޤh[s* [{3ym@K?Ja(-M(/)j2F a")s0I꿡] ƶYDQk'd^bbЫ)+%'5%^;.Ý:* RÞP=ܩI) *C#eeIM"VN:&ߍyE/#@sy%0Tצ֟?CUoU2g{"o*ª3&h:4Aյ5VIDfd^q\ўD$~"p;I|PiDLynى÷bfMꤻXqP|G+5dQ TMh $2,|JJ _(Wz<ǀBtKxR(c"`-ȧt"颖OՕ|$amN^'nv1s lRXXG0Ktajc*bK߻:Db>3taR}'}E>PaH[*p%Wf#ͩ#|'GG/BpvC$ǽ72Po?kR`\BY'͎.TΥM,>a!6)ǰ(־V}i꟡@dA-n[4G \#( Qvp]i_9tT|&&9>cZ%&B (^6^[Dc  5HS{ }yf}nwfD4gөo\L%%U ?Y$klȱ\&-b+F͹ԝ!54/ , ,`n,Sdk021NXĄvK}?teU$O_Z(( A66 B@)Ӫ[C(fTo>q¨c^J/YNu H&Gݑڶ4=е Rr2U@9o;6{@&-A,+Z1$jhiȪbSGxHj3XR@ ޶,5/l>#vִ}Yj䩑^g8" @ӤQ#4F""Z7I:plfdmzӲe=]a6{AU{H>ȔۃV\l Eej 'blJ-0%,J=;+ eͶ8u컀ϒ'2x1`G5Hd|K3pQmIAK9>@ydU-!!|~+ r郓F/$p\1( f=WZZc" -ɽRB ?)G=;REnLjXtfInιz4eռ+g2ywD. jc7 9X[KlbZo Eo1AUPq#@mRQ-ޝ|e.< IPO,N*M dHYW QŸZ1)Dycֳup2`70'7p΄D/-e|EXf}qv]Cn?C@ӻl6HFlS |ӊL˙ uzc$11󧗍pfē #i aB@7rd4&0UV)*-9 zՅ_9JӃhS0Z*#pڲ;RȱYfVZgTmnatHђ]{*ߓdm3P%ֹ<{xқ8=ѫt24\Pq5+Jz"H&^V;[7! \~H c~JfGZ {J3:$/Hwp,A3J~ .{ 3Vd:^\nF/妊)dQ1cm$7-KZ=|)g̣,2r0GOq{ٯSBo}o2ڋ(XcU,19}Nrv=ذ.EƖ&Q"n$mI1dxc0%x:C0S^LF"Itprb hVU|.7͌}jV$*yIHgn7är {]+I%YhAHV)SK<~~՚!@"q 3Aj{@#0Ⱦ$Vwl5uI@YwԡMs~gYZaf87b86eb7ed57852d0bcf49a9d913558fa1641b2722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 59e461f778241d0ac6835df93c20c97556764092 d00ec3b179ec0e09d4f1ea5b7fe8a50ffdde7a9c 4a834cbc39a682ca4d823c0147ce17fe7dc250ec 864de35a40946da3be851aac422ade42e6e295bd 46218bd5974b9321be04e44ee753d32665e0036f 6555140a4adaf0e101415c42f8c057f4839109d6 a1b3c53645dd9e6606c683922f2d140a6babf312 a68f8dd8185f2316edd06a37ae7c70ae38109294