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 VV1 t4 S Stream_Fusion_Code:threads=2elapsed=17.441cpu=33.180gc=1.584factor=1.907zXZִF! w'3]ŗXf1-/6vR[]`^O 1 Stream_Fusion_CodeGσCU,,#DF} RP4HQqlVƽ%ը_PVϱ?s[t<]="nP-3i4_-D();)M#V隿#2iFI>M? y&~s6y6| KǗ" 4ᮂa<[xZԬՀ8іqh366˜!S&70a/+!0?edJ潨hBpfnN y4KCcX'VE|Ա=Sv-|d"Ey~It0.J1)aeNFg13v:̧kcMjgn9-RAj;rkh_8y0JJUW@#G s&$Â)Ȅg\ Vqͭl ;RPam'(0mbɺw*29sGo1EuVA9>y~0#wf0[cDɰ߮f|5͠GE%Dx i g3%2  ?W0:!_!AF*f=9L_uJՄ腒UL6T)5r:xAPIҺqzS%K*ak#3y.bsĆ4"Ǟx)1YLe>t z 5acBx I~M+틄0,1*vZ)<}&vdv t,_ZEx.+4+rC|]$fIN:fRƩ~οdnε]なoBrOu8́EXUz /_?ghYH(=^ֻD<!Z>6eve&JKnQ!u+HsC>8vQ 8zwlRNBW-Ȏm޵\b+ڽ#B?qgYZ7zXZִF! `I]ŗXi%DQISHY@z`B<}bLN3JmwN˥`mѶ0qղ֏I.J 8('%/݇K}NŜЦzfƧ\F^vebȦTYilۖ2k˗D1gX3BCQ4ut3WVAp^""y{%HQK p82+i >~vy#K(P+m+Pa*$,P-Sy$F o:N p"MQ#z;Lm/%suaOJ6}((?SSu_AZ_SJC 8a@aђi}YVogécDPQT)v߀CQjG?^@^p؄}8:~0Wer Xh?Y:M6#EfLE`6P'E]eHAޏ5gO# Bb#3q% fςb )A]Jyb{F8);&,JI˂/1 (wsh1v(CuD;aꟲ7OBt8{"f;rjE+z"}?Z#}|b u!Vta{ӵRi,=%ң\Ep;=cqE=os> nGҽ܆Ow-As< ǷCHml$m 5!Uço‘,o Rzv酀.h(CVn KzӵMٹ,uUA:zxІ'KtLC$veQocnGҌgn S>(7}FӸc ulY*~GqN3YqO}7$M!0qʙXuF<)ώMYg8,K%W֌D>Yiw-  ǀrgXڟ8JѢZ((^N"`ckKơ*Q5}b*BeYc΀߮lu+񡐎oЮ3e(g7 p ""׽[Q (N ;m#Wv8Oqm(`|Qip$%:Z'!8-I oC'*퉶,J/V?1Sٙדh`-G{1Kͅ<\ذ35lǍrBL̙t [RgR[X'+b_}"19Q}9+zR)E%nc.qqȈ4` EDFuMXnYv|y*3 ͱgYZ01d0bdf631988cc5d8b72eeb42ef4edfcb65c434 21801d08fb7b25dafbb4d558fd6472932aadadea 2458f4e1fc7369c11bb11215ef670b9e49e91ba4 311723c14045b9608a65a890b21a88fe2cba3b3f 3ffd74b09cdb5918f1cf7e22acf57ff626fb4e44 682cf9b44f4b810fbf3dd344dbb58ad4b42af876 b049cf22e7ce3479c88b968a63aca5671d014e0f f0e5a57dfdf7f6cdacfc0b9da865465b469ec0547df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 5c50fff35e48300ff10062e832c26a132060085f d6377f11730829459eba56cd325a511b881cef5c