SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info z  ;/ ZF-UNITY:threads=6elapsed=6.510cpu=32.192gc=1.128factor=4.957zXZִF!   ZF-UNITY z]ŗXf1-WHIkWxXrgNi@Ќ"5[%Q? l`u}BIGϣTϓD³9E3Cc|GP3/Zq?w ueoz]ChS,52 ^w9d[q2f*K31oPN8`1EDH .chBtKb~8NI ok % K0B6Y':3ʧ)U* XytF$5﮳%@Ɛ]AʞrI2a뿓-n+\$ۯ C۲.W+5ŪM$JV%I J&DZ'-W㇚l).˜ ҝAo5mW!TټYTYҏTw\,7,Xdw%2/YO E&1ao*|4ecAZ=# W^ΟlħOqׅ,f藓U'`P>7B8seRC ӳ"36kR&4#Э|b,&fT vHɴyΠ]@QTncj%q%K"մFn칿i5|EU$l'hpJ&̻ŚYO]aE- J z ?YGYEP?'"0ƑxQlWc#1u:+ߧDn- řDe0-sڳ;g>56T=Wb"-uܩ7t߷#SަV>J=at7 7|L ]9\Q\EK=54[y$*%N0bL9>- BJW6azx0appKu$".=&rg;uy`m.iTJr{eW4VEz1J!;^ש@.7$柃cv6ZI2W =828= q%l )Zї >bN@9QsuJiV|`TmA"Vʄ#Gqb,!b˷.+R)eprP$xwN'ѪVcfԻzaBe *YSkTPB㔕;d0|~7ݙza!ƈb,T+1d#DKHE?HV~f E7Lv.Bjѱ M[@ɘ2i$iX1JW|[B0([-,D.]?Ƙ/IBz$B4וxc w|G=g{'koc}'(8}:yd|*[4U1 hpr3-'dze׼xOAIPԐØEUB)u$ȉ\Oez-P}N?ǁbveZ~}o$L, ͓6=ֵųj QKnԸQr% h*0|V^'^I^i6D<9Վn{87(9A%.8AFNXF_H4f!`6q!9fG9FܝzGcݮ8So"E(|maDCŒa)Z?]u_yߣ+cc%>|ͭ=Q D}-LJqЧ 梻3ގ,<[>X4P#V[fT Wxbp21Y}RGwP`m A};t d=K\O2`}PӬs<V>")iW61Z_,k1#CZ䦤; f֓\˾R/{@)Hğ!խZ\?uZJ񑛘>b&Mb&l;- nۏ3,FΚOT8 4auVh1.0GewZ8;a++ŴWt|D?bKhp`y:|\4̴2L gYZ7zXZִF! !]ŗXi%gcᤸ] ]5* 6qmE,zHޟ?R6]{{ήTUi# %\OL3Yeel,O-So b #cRwdX`lr[pþ;\.?G^(U j덽%ZWQ"=Y9&,%w %-1#s|!urǺϸ.U#8(@<7)DLHY}!,>>5Wu/KXE[JqtɴKy b0tqċ^xRvC=CX߆." {h5v/CKf!1h)2!OG@zO;?Rn pČ)Cs]?ecܲ|09눰rFQlR͔_0dJ @>z -Qf|tJR,>cG4Goa BLo9[ *LG˖*q:Z"s{h鍾| ތt {a۱Ոs1cwlJ E,{cN>m-X2p[ʍ1 ^zHgN MV6Fio[ ̡w[uceQ*wƃRn$Sf9麶Dz,\ydV'OYlWc/tbWK"ݴ/Χ&Y L,*:UE#*W2;뭹cSv³{ oż=3: QBgYZ0132b4851e2517caf08125d7cf10f3d657441b9e 0d18d96e673435151db9707a297874c8fb804e62 1468f0080b3e8303414ad73074621dfe5e79ce25 1de571610dd535d91aec3c0e4179958f706b06fe 25d36e152c256908a18b0792a5344e6043680b74 27af5c70403d5039ab231e24bd6c7ce3ec57bdb4 3b6c17f313ce40de3148494638fe849b3ec91a82 3be1dff01d0f0eb700918766781c5d4fe9c54098 3be8095f7616207514b45f0c041e6900cd6a557b 3d042c01ebe40811fee37ac47fce7b6ea9e031be 411eccd1df10386bcd400c0819356d29a26339ba 47cddd16f693246e87962aea87bda5bb5c96e680 4ab183dad94d71bcbd8473aa7f61c93e3e4ec11b 52f301bef6110b3e25e3a129358cfd1b3bf296ca 5ed42714d026e75104e8022b8a901adac4d43d81 7413162bf661a814e55d4e68819c87b062565a18 772a7387aa921ff40b9a641b7f16b54d1c199351 86559328478a95db06fd450490a17b65ef89e186 93a63257b51dd919f23a6b17972c57c7adf95a94 b1b8e5bbe1248a480e021caa2a4541c23708b664 b9d148a9f6c5836a008abfd948ad3f087da46948 bd5cb36b5b5d1e74122cce58eef23dcd9b344f26 c4ac8dc1d359c2084e08495882ea5245994e4e5f dd3a99112e079d3315463008fca03d05dfacc3303eeccd96a44dd580d8c7ef1905f2c611132cc467 02c969ebaa7187fa67629b8080963f03c2d6a77a