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 !\t gw Call_Arity:threads=2elapsed=92.376cpu=152.440gc=6.420factor=1.657zXZִF! MF]ŗXf1-/6vRZy_:8/ on6's25J=X ,rVgz:K./v\@d6I|#gs Cz7-yZE3thݶ ڰLl҅>%[" i㫍,suT,7k SwfqkplQY鯒Xku/c8DH"_Wo"b"H ϴY0~bCc֝cs3bjk핡5M^a^v_s8+s]{z#~,#0KCxIu, $̩#Ȗ:MԝA*D }Uͪl^)$<҉w^'>NZJB*TI/mar{~[C0)i=#_n}*+i 6jZ0s b ު eGnX@(qU'ȗox{Y̼p`i2D9m# \@+vᙯ;/Muxu3F!m Y _ś&{~0~|Ǜtz,SB-wumu0gp(^ ĕ(mqM5ޔ7k9`Y tPzF+&J6P[3 gC^P=)·gU:&VzXg^5R[ј2Ob˝\|#?VA}#b' B.%Fc/6 "O ]Q|f9"L%D@:XjG'ڒ&qTGgi1s}yAG8 wYnX\!MŧշGGq؀R. S8$7$?E>/#@t HXjk-Lfp^ 5XE}hu[*^!bB _hѽޱ3".͝XF(ǩQa֚əO~>!;bcx\zrPpx>j"n6-!L]_!ky/"w1ՠP ]9 }|ž9`zԴ`Q3܌nCr)TsX?ڕEk )Vve֢3e;T¦E} Aш _'tZ'maY;e sxn 7sSȼvΦ&ct(y?MI/mߙg$l0.yDߟ&<^GdQWjm%ok2 qȱpXÙBWuv5|j[k!Ez$Տ>ltGïi܄ذpo!|]~O 26KrJGw::%'`5CL+hc΀h6m@!%{RLHyIlAmKPO膸uN  ! Call_Arity}a5!QfmM~fFu-k7NRr#C_֭[jUL릗ױG-ouZ*5z350g ht0>!=w &bä^["Y(W 6)TB0.VdZ  'xH{I #ٮ(i(ϠQ}JY6X9GܬOމY!Pm1ՎWjnrDҫ1,jXIL _ ǚTgYZ7zXZִF! N]ŗXi%6yKViSCbפ>T'kG fS~ sx`_(6=FNu>guy_ }C;;3찆KX ш[ٺe_P(" h{ Vac5Ar&5;uRJ#RNjuCpp1_]!OGY=`q ms)Z.>^p'gg\J(9)LUb!bF%j{<#R('E.cIe+VIL =_/ϪlH%0[× |$OzH (ɯ7h58pMHh\c$7t9nkSK7o$ W kbcJu([pn~zr+4jũm,X f^1fl=KLCɀOKm#usJwtjFTF{u۫a5V3Xee:Hldq_$%)/QUs TmBo}:Zh|ZV֮vv[al dU7(QCyrhF7QdkC3wͦ/&yă'U5 gzA&@xJ{Ċm>"ooY\l>h7D5mtEFh4:xUSHj)ҝWi `^ Ȅ"SмrS|X bw-sc|[Xj=b8i:_?agjOGhO_y<,q*a+ MX̓z!.q\]F叴i:}bĈ:K?Ԛ>)IAf5 OL_"pc(×yt;u}43{˓(Δrtm!h&1zo7[ \Iu| rxm'7/$'i-iŘaņ87 HdEOF5gd08Ž:'Y'K W-fA304Ǯܼ䠬G_SJZ>J4࠯  ĸ q1J" mV0D4k s$^\^dӯ- <}ЦcK Բ9=ˑc<;i9ʘ(+^%<۽x.Ds%,(v]Q Չ^YQe'!ݔo2qBdG&R^MW\~=#0DhJ3nyҐG I leN)^=ZPcSWBE/,2ɰ* eYs>xߟcpׅ_¢# *d-=+DPZa7m+ŗ!i˷DjTK}wž(yK旒;aީ:}cҪeOn(`b (4'F_x![,Kf9C6#{dI:~oJrG<^kiރ$G`}~ ۙ=&k fma˒=5KiB`s;&KN dY:[{2P 6l%!O7g`6ǿ9kT~I*s.^?4$ aėnږrϋ[yJ$v9x 2$,)bM& NN[1bɚx ,a029dTE uF%2 d+N9& dk(P3+qW[>P0g1:-9+}0ՙq89zf2]ޛP 7̙009Ґ@9\>k\/j]9^Lz,֠:c %*AЕ7t#B泧F3: /戁:[q78ZIH`)_>rʟ_b~;Π8٬FyE-􎽸G\rxCzzmAhю9w EYi?7CR#Q]kgf@~jn׭[D~7gVz/TEp="hIEzUn'h)޷O$B 61۝{L2BƟ4iۛ|nMDx69,&woᯧQdlܽ{څkV`wmO>M3zOQNӢsĻTÛ&ߺSWJ9IWUrkk\_.څ a885%gPklj aWN \ Zf3H6yN ʌ$Dz͡j"^K,>Ĭg:y,Cwag6S:l)**i&sJl@VNg,vJ 7=E !WО`C9A TNA}pQt)JwA3e,'zs/D|4ś7 οJ/: HΘ?dχڟ@4z[{iƣ6< wq%kv`11=_L|6&($l[1Ր`^a(w.e5lf, qHԙc¼DƎrO[t r;\rx" ~8 Rl} W2?:,uNPA= +1t@gOvxbXo>m븘9TBD&#y%49r,5t0+mF@  M4pWV bmM;`?.m1ng%Oܖo9&>J ˌ2 Π=bw{#?иCJőԗAʑEEubqMAҹ oϏ)qJ#ϺX@]x7|Nf wBܫsuXtU0%Wې>rJI̵Z:90pˠk# @&3A HhCge`GY 7*P\PGvɉaExWSI̮+UdOH%VQO~ɰƐ[ZɠQMOxx3^;7Gg3?C/ 1Hud}:D5yCCH!˜[)ZSz\IKZ.qY]!'%3_!% qAZN8 xy: