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  $'  ]m]Flow_Networks:threads=2elapsed=56.865cpu=86.160gc=2.840factor=1.527zXZִF! )@]ŗXf1-/6vRZr~yյG!ޥo(?{~%R{e0w;CfM8x | &[e6hEAw14b=sb0m3$j:]tƀ`WP8_lxhv}l˩RBv,:  _ V=&7H#um/4m5Zflrș'qBv;!=L2 F(O,SKhW~a:L 3ѬO-\lGΎ4[;#+C9'6G8| ]! ir/G@a21mU֯һ!xR_{Q#Υz+ ' Flow_Networksn7Yyx/ .۳JFhڷ,b`()F!\5Slz{#pD80RqU+␮<j=D@cz4=-V)sS"{H .RaHdeE4D{DV!lHڊB`zbToTyU˰ȉ b!!Ɓ=>u-됪>Mykx&FW#崘=_PC8"5:ӷsLp.E-υ ܯ9!ɝï:uܦX踑pz5"dk)IFFf 2])>gWUP5|wYXfvp ?d+qp6$՟m$kk* 5$[{L/eӋIMlpMXT@:^5[fI RZj{̔[davI6QL /FI XcTn 1SnELb7Gp: 25 |bQ/M9Tfiri 2%tkGPO 5[ 09u4XQNO]k>%DL{mUE&u杼T{\͕Gi[?<2qo[ v2 U,GgpeTUK#@ɄL㼡襓ʧ hNFxZοj6YV[șAN8ͥ*ZLisKUP'_7 μrQA`67YTV%R׺ԭ_mX 28;R`0&o?aQi\90-~%qzTҢ[U&DӃ_8c@ݸd.\7Lv״F#֕VD,;ұٽ3.sXbG@p 6A[[y'BƪEf ^`{Vᗱ˫ pǥEvDdfaPT??&wN].X7O-m+MӃWQ}_'fntNqx]>~@T k Û}]x2%W/]MZ s H\0#`ٲvX}_ͥMy50| \zBLݣz!m0rV7*׽E5&B.3#2STbR]c~N ~}et_]^Co,XIxҗԍ~/Cþ3%{%Ա|:Og|m:d|8A("7!i27/,M(PޮesJێTvтgqtq{ca"(}?Ssd`vX`"$6Cvx-xz^- Ⲟ8doX\S*rU4Kƒ KO+oDq:} ybd)8AxewFδ|gIkE_Tx$& /ϔLNwL첛Q%VDi'L 6LK]:QKbGZmND 3n] )^ӳbQG  †Q ՘Δiwr+Ͻϭ)Ȑ6rz Hz/ۿ}dHoyj싡l0I9wU/?:2NIsƓ=X^h%li иɽ'b,@ y4Jʴc>O15N\`,-v~kVBҙn]C0SviZ˜OGJlYV{e*Sn[x=K}9iN';#\RgxuzaLO?>6jz Of]4d3h>oP#H:A۫"J-P()GC@=I? 9qs < ܠEQ:jLŪUYә}Swݫn1>A' vm1AR˗U@ѩn7BD#1+K R5:ooj238QsºK H)^2۰oVGnD_FZ"qt]# " [X˙Z<ڂYy Z9^V5hŗg-yA>%|fWShҭ?TRO'y2uY擹܏L0ڒ'qM0*V `yKD?V* ջ/C ^ xZڼx"\"-;N;5%lfdcUW^E7\j$K#dwgYZbfa9f5a51b8fdb0227a7805c9b6067654233d5771e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 709372637b72aecc45341792a6850b4e7350660e 3e740b06e49c4e55e0032457f41aabec3459bfe8 fac90fdadeb8dfeadc716cacf934482903084b0a c899cd594f094995bc9df08c31fd2f4110e9da98 ca0fa18329cbdd32ab9592ad7706c6bf0d6a79b3 b268d51367ba31e100d9080b8938f3bd6c021cfd 9a630e9b05984acd69ac7db6458c135e5eff42ff376f083f26af8ca050732285a0f1f2e0b211d903