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   h' t< ]m]Flow_Networks:threads=2elapsed=55.656cpu=83.496gc=2.600factor=1.507zXZִF! (i4]ŗXf1-/6vRZr~yյG!ޥo(?{~%R{e0u[UIrVmkEN+}1*fzA0`09\}`uoCUsߒ ' Flow_NetworksU' 0Ι*>j kp-k}S]}Vw{yѽwB1 }N.%ឡ;IĠ)îkZvh IƚT;=/xkѧ8ޒQ8$nZߞG|ma Ͱ n~!7 Ĥ DlE$!ߵ9.tod qG`qrpXHUg[I0j=#};pIcķXCyC䢾AL݀.ZK eh靄H->zZeY  t~Z'ysf"E_{/W>ɴQYFs-6,Yėe::jڋšT!cg}J= =&N1+`tIOXT0eMdA+>+eXs&j9HG=N= lQW>)C $C@XL9lƽ?yz0<$8dbc χFBcҴE?<)Ҕ+Lxtcvʸ[*= &|oJi@~DM 򯣗ki͋ *Uy?1hg7=a#,3I[&oiE$tO) m]UI؃NSJυW WpMLj(`(YQnԭnœ)52 $(4jB_*ř5Mړ';$/Eό{k"cIL?U~SF!B~|q?Gq p֧4 EsU`9L7 Uq{th+մ95`>ME? &(4\ƓZ=O )ހ\ U6)kM31De%݁Dͭ6?6Ǭ؟B5}lvը2j<}ڡی j,ѐ10æX'|BJJ#5d)voHeFoT~IGt1,-X׊Aȩ /4|k 2Y,`:Hu^"CT{&h^B%K=Cy,4\y='!.`n1S+UfW|lcmnNN ؿJJLPmU+}xVl^f&W aNY*eǏ^[x~E}GlϽ;QSV?@͉1~4vw@3m\R괎V3|ULpMR^ dT]솧}cl 0dc s2$j$f]aY} Vpy10PMy"I{sx^o1cXw4N_LڸMdzlɟއzm~/<"C(Z:G.6M G$d6~z]D W*=:u*d>k.~ow%+;}ĊW;K)-SW`;ыdBxtN<0g鱙 [p]Z.q"O;C~%?m=:ysFP͙mokT72?ܛ ~CAHQ}zl} },s'`PF\V-RtTT>pUaVAw 1ـk#' =PDGb'6ke>1< / 54PAQ+0tȢ `U5xtsNR }^[gTϕgC7K{CzPxp{j[{o.EIcGjHtY0²<GV4.]d?ֿ-Hai琶R2}EV]}4RF\rP@q֐2_DQJاvC&ENhQѢ.2"2֟<`A7pEq'S@T8 sm(* otIxT)NQGڙϞU,ʺ0դ