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 T+ 44 / Strong_Security:threads=2elapsed=20.459cpu=38.580gc=1.308factor=1.897zXZ + Strong_SecurityִF! [8]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL: b?:Uɓ'[h=;³q0iCzJS!'V.g,bsu:׳0drK4"MűF *L=G|ȣL$\.WaiPB9W^waKo>H/j"oVl05FWL*7 Toi /4㕾3O'Y mUye_hǹ-,,5Պ^&w$=%6kteBEf:}0- 1A'"`{h AQA_X{0B+'=`dP%ꑟ_;W T*!fG _`&yhk՟jr]58gO..ᆠ/`uAj~#쉘/rFӸwثƵo^{FŁӿO-G`2$Qإ8ZkCdzE-PE3)^Iolpe{>b:7N 0b9ėN4rzx4#Ţ!)yꯄNiKX; ߧoۧ^hjI&C"Uf_8R&:=$S7p!$z=f\x7g(ԫme"P@NJ6X NcqO._k&MSptc$mFBcq} vwP>%Xwr- ^'͊ZrɦBx/ʹKIl)ؒrӤ3;Fxdlv{Ľ+eWU} rEN;R8IC]߿rm.qZ`_V${.E[Z1V<XJ!)Suw?<gg ʾe+Ȁ~JNHj7gm. {.Y3Z% a hb;uf:^ߣDcQp(Qc~I4pv]_Pk;]XS1YkVy,1C&M֞)\,WX=H4I ]Ni?Rj}ٛ "T&6:7'=D#1a5IO aI?w 6X^NJ霅?>`YJZQ_( 6^/ۓ1MRh!J=3i*1ޢ!;1ug^:zoiCjCF|!G ͤ:kf=dr/ؓ{KOahS2F2fjǤ9f֥jcOww 6!$s,O :/`..~ z:Kq$˙3Br=\2-mJ-#@뱬hHVo'ZlaYylwH1{7*ۨmɁڱ;p  eJqqS! b fM!Y(eDqpkb+3(4jȅD ڏb-NR@E-4\C0}!hIz/|yyO,UQӟd6%sDặUagYZ7zXZִF! i]ŗXi%B׆)5Ř7!Bfj)Nd*5Ǡ Lvmq.dojw;Vf6NW7>ʯv9GZ`(5#$=垤_H?45@G9 cZ;$Vǖrk)n3+-eΧe4B>{w,8q,6`oxXs BIҝs1-ҹOC '-.b3hsXt3=0f ƌ43"8$N!"+yG_郤c$J%k= a®~/gRοg8C|Ln _JDPsM0Dv3d`%nZX `9{ ;=W%F2bPFN Co `'-1qȨr]+ezKb_ƫ%PU2DgDj;Xw=g]wH]>Z?G:B4\=[+`?TOAR LoDD@ Q&q_A߳} @rPb3Gs6`Pc55m0q >gYZ0c336b7303b23ce3ad8facba97d005511031fa79 15924b568e68d47d75dab652d7d2734edb365b59 15b72db6bff1fe99a2964d3636f1f03456d23aef 1820d13b921d8ec17a3fca161bb61e7079ecb8bc 35cd6aa710d94fca8b21b82f07bd6d0ad19d7601 47b0123bf73b955de525edae01f2a8c83434c792 5855c11fb47d4644a3eb1661268515118b384fd2 611b23318350c2753620589e42d5676a8ab4fd71 637d7d04ffa4d04abd656b48cbdee6c5ff3c9514 7453cdc101d0a2a99a53e606d88f21d8b3a62391 a20370c8393d39ab3c57febc38a4519af54dfcec b72a4ffb8ca19f4d8b8d763ce281d69c8af989ca b99b9da9c4cf3add66cb4c0fe7eefd6bfd36c755 d473271404ff7d7a79a798df8c25f1e1ac2d1696d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295