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  % D, % Finger-Trees:threads=2elapsed=16.407cpu=27.084gc=2.000factor=1.657zXZִF! []ŗXf1-/6vRZZ-=X@ 1-PUL7J9k^jgFuPqiD)[ߕX2cm.O*iOpBoۡ7B#EP篌5.KY9kFfwP0Uq*ߨ}׌5ӻGiz(;y>DQȷG7Fr'g䂅 9_;5mv/S"ljbnznHI)"1#t7xP1R|}? ><: JIq2Ƅ@C)3wŊA~1FSN&[M[5YCW|& Buj2狪9X"JL< lm;KZ)=,3J yװ~6:jIFDlΊI % Finger-TreesG yVA%<D47㉏,vՂs"Uq%յZ} ƞbl.VIIUD%IlziNǨ { ~hfa U})c(-Kو0&-AdS+`{-fE6/;K Ժf A\Ӽ^tWB'/lcw_=I N4 GrUW+KZov `̢]j8pT+?-9]=]`NK>b%o~v=ѣX']#ZLUna(CNhyF|f V8 pć!?/Ugޠw-,+B]ۻp._HM^t_hq7j`IR`kAGG2 l8Pu|S^$Sy1YY<@0pRraϟ K1cT5 ^ōtne3A=@ =MlaL2= i19= 1m8kZ|z-䤫߰=dr4? aҫX)[Ow˰P#+913jneFXIJOSЛY5wVvl@/rV0dhܮA[W3?vXJiGR^kb=eFbرneAwWZ\+0݆$j "9*eA6[N#.{H-)x`h}-⣖VVwȅ#_F#*IWD&\#q^!tWKR~C˺EZ=H!OӀuOmR F81lp1@[`jI<)0iP$F*b8m ӅyE!4A7_fH~%§eXUA4mSc]&'Йf,*[~glJJ.&Y 詰첺NE_kA1SUYIޅ]嚋OaT9Xۋ0Wd[aL[Hqw7Feۀwfx:tA0ѮYl$tqTBrD'z=E'jQO)9PtGg_Oy/"]PI&|&$<: ZrprS ckH4֔y̭Ftݱs8|ionb2?wtic\K%OGWlKKoF BgYZ7zXZִF! Tv]ŗXi%DQM{^^@JJ;yYQىxoD̪"p_̉ж}֫0ZUmn:unSRMAN7ѓ/2Fl) O9MrdKg~R.%rSEy^U.^4\/WdrlC[ϻ_:n1zZP }>6OS77mDJ&/ X{d"yyۺXRL TI|͹U#LmNl{| 3&A:ټ-*7i6]NP-Mڅ#!jCS|c^ .Q@j%fc'FͲeƢnU?;,6ۃR5`[aîLJm:Wi5GNm%]KTG=Y}?f1\ 6ÜWPCbO65Cn:<_rsfgS0͙>6QX8oMZfSw 4KkkwYTEC@8;zsU wlqW ];Iue