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  1 1D' \ cm]Flow_Networks:threads=2elapsed=55.497cpu=84.748gc=2.796factor=1.537zXZִF! );]ŗXf1-/6vRZr~yյG!ޥo(?{~%R{e0uW4R,)”|؊2i4\  J[eށCB*djR_j\0&GKEm)17Vat3usOg4D`b<;E(9Ms'Ѕ /2U0v?wv|rڭ r5}1zO2!9ߨWvBC`S!sj3ͯzjVڞ-jٹ =.ܨtRwYgUBE%sA#K@^[LG)`3+ v T+KdvY钹4:l ڛ8!ZL[Y>Kq3a\VHC[&롣4X\c TxƼ֛»uʀdUN\MMfb3]'zLveɢQt FUe}NUVs&=SiPhS%<`Ss-gGMe?|j@K/jIcGwMXzvC*jRNW{Br{EhJ -U2=.TJr)ZD:@M<9q~`o&vQVJu}ֿV$Zcu)L5Q{A%5AW ߴZ/"0}s*qDZվ ˆGrmLY. A ' Flow_Networks\ ׮Wnp,uC/miaktW,!0sdq<|~OwX@4Vَf9}g;(tizXT`YV]%+rIE&SH7 ԉD TU2<u4+"Վn_f+dr]ߍ+ٺDFL[TpqւaM +!}CSj1gYZ7zXZִF! 6 (]ŗXi%6wo8Rs߮,t!\]Z\WZ Xo).b ~/Q_c3$'2v4eJ6b_n\R;Rp=ql'J 'Yhy-O8_Lq!}6 f VHՓGЦ>q_ gcÔ p,N%O-2pNE7L_H]TP<7-`d Mۭ:wl< kjTB`{97's_C zl5'U|8"Nrfv[*ݜKOЙz˸J)Rݪ=D 8q^Cg PQ\.7/t4 "s~1vXQGEz\~op"'^1r&Vlvբsc^@= A9ppUmz.)/>la:̩K ~n@ZaoG@8ŠEu+Agt.o`tQrKR0 mrڵԃ,VEoB3?ExԌ۶).5/15Ŗs^^Dw͔`Ńj}N|=>X!v (sO0Vրڈg7}^ZqQ嚫ڬs%)<ʿ9S|k akYja &7PW[oJ O;ۅYD{b!{#pmrV@Z~"_ڎ(bpBɖo4 Δ (۴o G*8Ý@TM0}'(x4יQ S,! L$W7)tdïE _ž$M+ G#Ň~L;7ݫ?>1;+]a3/u(~'-\9UT'e!%>5ζܟXckHѵ.fe]huLG.-`Г˥)\ [mG_gW1WLoKPC#s.],e=4D(#9$jƨ?' v#駑v<ׂ=F"(v#/; 3I,Zh 2Jݹ`t@wfvlJhP'n#|Ycgሧv4/?;B_I.i~Z9͵&,$F:mDR(!|&NTC$ѤA챐wd5;/Ie ):;1'I C耶.V ͺ<a3$ah=X @+o'/PbPDTe#AÈÅ+&|!K^TCXLA8'WaQUޮHʕ)Wx)dJj$zz#u鍞h=܅Ӛg.!`Iy4yzz$]ժ:ZC ~XףJ8k@#B5Ach*LZ:1`MoV59瀞y.|@˓ְ lK/ja. zt~A <~:䪈t0&Vx=;Lrdc2L^T?Jm#%QR& zjNG3ل=+__g\mE+aɬ?H" -ӉJ~,J)uCǶݨGq=_ 2̅bWM28W{@h`h 61REehc5±t ~c6g+o_ktaLbm^Q%s^a 6 $6nQ(+4*2rK_0+;ZwJ&߷a=ke(⫸4(BDS_]D&FVI_gYZ391ef19fe6c4f81911efa0563f17876236a3c4a5 4668112761fa2b45a2a5f500c082d1c18ab3e405 659de109d93365202655115e3694614449557a2d 76ba6798166757837bd7c22eee5a5f8495e29b1e 9eb47e0b06cff711fa2d7c2a17a8593c8eeb3935 a15e4f76da4bc1b8f2d33eca6c93089d515ec5e8 c285ab9a0736e5594a431a2c08b4af0a351cad18 c3506e8b98b808fb070215c784f8cf1282b55ead c3e465a9c10450812010b0f875e43c1004a9fca7 ce84d976f9a6c12985f01f30bfd2605b7a3c30a2 d6cb3d9c833b073aeb18ac49304badf272c1c0f4 deed226923292f3f570122b1733511c6138e6552f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 0b6bf360c9d294e321c171f738cb821c0903d51d 8466ebbd0c9f78b1ae12654b16bb281c4d878c57 97b7f300e0b4079e4148e5b8b1adb1615627614f ac5b3bc4156440a3471f8f4b47175bc162bb6fbf ffcd954afce68dad9b8f794473cf95d63f5fbe37 3ec42afd907ba22987aeb9f9aaf0975a23480ca7 192e729d77756375dcc5daea26228da8466add90cd48e4a9d72b397995ccec76099433cbcf9a47e2