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  # #R' d$ ]m]Flow_Networks:threads=2elapsed=56.887cpu=79.252gc=3.040factor=1.397zXZִF! *09]ŗXf1-/6vRZr~yյG!ޥo(?{~%R{e0׷l| sf.7~>}g K~6bu>lˀ5ry=?izd~Acb,#y+_Y WF;͸²ju_-$bч>I>;^ywJb2gYPQa5f=55$!ۮ(3Y=Ko|Q/Ou.8%z%"J^}6& ̯1sA')&8t)IR~6.Nr(ڎT #I"6Z#cc` nR>9LZW=7̀ >6?BEAc4.52)sW lq,@Ѫ#S ih!?.oIjîy^Mo_btp6Ífmdb薊\5|Ќ?4eg,|̂Jq龹2TƂ;}Mǡv1HCmmY>rߔ<[mJԇ #+Vf/ ' Flow_Networks:L@+W|hGĪńvO ]N^!\eL20׌DLIVw}W  &= !JeW$H`+r&i)2v KE^/d_^Ak/$-GGWK]h\1-ʴ. .k1FJ1dY}"w~zG熼ZTTG>X8%;l<ׇ=Ħvv^>"θ9.p!I&܍L53)h]֔+[(tGkT􄪲i;c,lYyeu*8/ )ʋe`-d\6!e ]oZ<9bmcM*kDsʉOQHbQ>յtTTgYZ7zXZִF! ]ŗXiɟ$BR$#?2FU:? ~{-ui>㿪j|94+q8Q GFD9Y|T1#sBl= .ؑ=E?nSH`hd$<w4 9};ر6sbPs;y'( _{(+Ev+ɭ حH 5hP<7L)gm'M,`7g-gYZ7zXZִF!  ]ŗXi%9#h_Hي.a{Y'\FIiQQx5S_A׿' x4yyxbZ%->ځiAYi qU N, >K}񆳕^iɚ& f#Z m~+`ܳ7O(2J ;vf `>4(Q}P+bҳg:Xu؇7r\4lQIB3/ᬐs&V+ܽo۝:D"c 8kכW4݄f/skM kDg_xnm$Ymc?#n((Ai{@w"Ҡ~ja6C!{7/=[;b*ԧQ (Jk3,&լ̰QUe q=}oܸ%H}F3Y,#D!"T/j_Ju2$eU*"WdB_g }P"x}+O4+ʴ] 7=|(ڀ ղ+cN#Lm.8V]4}m8͹r62v ( 'Zj㗉);*uOűEKR{tIP6828 9Qjt$D6 L$UQ!ϚfvEA02Y*"D Ipm):ݰ3 DCJ@f,vR҉X&>**ǘXzXs$,Ex@&ܣUC1&=]WF}ly1j'N RZ3#'/[Zܯiډ~QuArF^N5X]Ly_"wB/ ѓ67M3n- DȾ6]_weVH,wne+Bf\d0:eÚU@L6<5k@eZp_J}aCM@1Kv+b&FH7[IS²w|3bѪsw=+ N4\tQ8yKɉecN.Fl!Bf)ʄCFsz`^JKU gX,'{gl¼"nfI?$<^/ۨILpm5e}F ͇gh̕\`PẑNJIem[E@ <25vNʼEG6J)W*6Դ 5 |mJ[G @3&M 6|HunlrN_ ˥joIX~QR r 㑚G΅3<.+Ev-xC @ਜKӟss"Q;'N_L MjhYeVD@cyI#l: H$'ߔw#4ffgh32a?g?!}S!A4 rqqڗiV0E53N3a>rG c=M\>ػaRٵcbی9 l&;q%Rjf0XKjnR1̊ћzFk"K3⢧p\\ץ{rt"窬E#l= Cg($2xI%=i*w=WySh'rӶ\v4Mz sPɁ\ MbOw#C⼟g<&>/`^H\MV@b"8}/{N$y1?V{t0A:qMM}: %!ax$L&ܳS8IvJЕR-P [*xt)5O8\B,7l3L= ZbP8aVșut{E!Vá @ѷƙL1t53)OVAfE +z4_ 0c(K "l*ZmߖϠ?Rq']{τ^Vg3A{I6bl ̤'wQeͿLv(:>w9Ѳ8,UeŔ}e2L(E-`Tc詗 D2T 'j@ۊ*)f-؆n\Fʯ/=@,ʸJ̳MF!V51%Ov8l⪎p۹|դ{ts>T4 ef\^eY* /H]y2}/QG`1<0#}%)OR^ vsj.^cѺ|\ b' L , <@U.՘@zQ ў]"ۚ&p' w\/T3YImOw8ϱgYZc33443d871cd6ab1eabdd7af577654a06c7d523b8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a eb9dca0a0b4d4e0dbf1db07755e5b32a9d8bfd11 ed9381b8231b22815aaadb0ef338fcebaf424cab fb0f36f526413c39491d0f9c0367a203fc57b0e4 228ee1ddb80db0ea84584801de093a5958bb5016 345ceb633acbb4d13c3a12e751b704d641749a03 48ba65b0812c0eef99319965b2c52917d5848340 7376b95b5c7772c62c9880aab54e5eead4afe18c4503ab4aed8fcaad4197ee937d495d6c54144ca4