SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 00E3 $ ]m EdmondsKarp_Maxflow:threads=4elapsed=88.600cpu=131.476gc=3.220factor=1.487zXZִF! B]ŗXf[&/r`؛[ ϵhF6 AAC;`Iky-722nLR{e B5?v-D,I hh{‡g:%5]2!t?7o nQL#Rx5Lݮr'< "ST| ƯwTb3J ]!*Q:ziAo?'T"{%jzZMhEea̾M5v*MOӵ{JR'ӶIH=3[p/ley+/`Uґ4yF@Qlq8yo {8z}r">?a@?ABZAq;Q#AҖWon?0Pg׉YU/M" :*z@K|fa(AGXALհ\سn׋M%^?=øaӁaB(LB>"pY,\Iht)r7=b ۍsNoá-SK3 U^,Jq~/ddgbD)&6JΏ)KHQo)[ ; Nw-|&=ˠׅKTe8Ҁt,-2]aPio?XD^v%Q1vg*FOp| ~N $宬pgiQ|3qWLNCzIu aޛ{S+*郧ㆌ<[~wAso &EUj%]iSD3Tx2M\뫢QXh_T fFU4n7 BDkT]ґy4GOK^Ɉ{WۣlDdv~/z_Q}SM(SGJ?,E/ 2ebž ڑ-բp۰j" 9L7/T(1M {Nk0f  6 />*@Zec,3~)r*½ d$1bL}U\.i <"J(ڽs_Z\{&d|5m1@$)ˆJa8c2WxO԰V Q&w.ԯ*o|Pvk& ~KZuM坆G:z,Y$5Oės "Ϸ_>$N?(sN'헟k5C:x0xA$H2 >N텐CYwrq9̑.yO4=8UY5Z1Y( <~1 -f_HJ^z!g!rÂE˦LV{!KBFy !~^.BN]Cbɖ!{JbXv]4|.#a^jb-:"vQ}R/XJW`M@}/]0ڜgLg{3+7nFJ|0@Wq-8LM)zodʂןNYpvYàMb wi0종S1lWG+wq]k\ZPc6*HxF. _-N:2>Hx7km +AS#]N[ .,šO} ¸*B(.&4Dn*ڼIK/u-!*>nH V1Dk$X)ԑ{G⃔Xjk#ԌfV>Ef4IP>cV?'Է{ZɆ>*՚Wt3)S à"׾Mk$ijsɹB폳neyÁ= n<ݑp4T}f7z`KsS NэS"ȡ27s-\'qe!ǁӎ9ROi/vfkx=H]_{<$0dwCҗT GihBf=(e`ZLװR͎%|T=mó(`9dQK;D 7sLIf1ʛ]/I&_Mj=] mfheG+|voTnL@iて!-gb3N_*Akz!LXe( %au2ǹ הUgbGH |~ 07)+䑕0x{Ý4_`, p?_4k~t+|Z(HS'+~XÙ2JWbN&ӧɿ{.52LdM -rw4γi6gf6V1*k.7u4؈B:3ɠC2:" ;w%X=E3D̔? 2Mv:-%kxq>@kG)Jv!v3dz)U[Nξ>YڳIBo\_/'ZKj*@ `b7t}N{xdH4?@6YC&Qcݹ-ZK̙re< uTjęXl7A|E!m٣vAdݴ{ Ck`v2HyYbk;-6񊾿ϭK.ZLÁ*DqQ,TDgDIl/lq4Hga7ȮxiNNC͢wHZRc&:NΟA*g\.E=e;$UmN }47 +]4=Bcv*>?_x5yH˵ rX0\ܓqQv[qW[߱'m/ӓvһa^8bb17qN1#t)t g:$wSWU"#|ĴÂ62jGnv|maLk /P#!mx9Ru8tA. ` bW{3Yѹ ԁGNL _4`@N6Px䲇XV_a]]H+s!)S]sS%NHRϥHtT~6_wiTT㞪,~nR|U̽>myThO%Ygv"2/uynyAep;?Bc;J =0^4TizQt<"Wɹ4A%;iz@r8bJ HC.q_ٌ6vQK%B*Yÿ0,Xө< wJ%;p︯L,HrWRtOzza%> 6{rEX>Zs7_Ek:)2;|x4;wm#wA^+N,{|1/e౺7ťQpeзuR6N6P"^J/ ѕbiő\V;{Rh{8pGFG^rU-ں ~}7LVJT*B6V*EmKn\8w^iasayBd҆{lfkU0$>vp! P?erG ](w_n.R.ƤQsFnﲂޣj ].~7‹词ғͼ\$^ - V ^ixo0 EL$XpƊ d OȤ(.Bwǐ u_u4z_@:)4}94aq ;Jḋh