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 5% lT % Finger-Trees:threads=2elapsed=16.687cpu=27.704gc=2.148factor=1.667zXZִF! \]ŗXf1-/6vRZZ-=X@ 1-PUL7J9k^jgۏ :R',H1!`xd«[y7Wg /VQ`BJ?;d;4;1Wq|*YZW4R ~~s5H6LSj~^({Im&yKx5 % Finger-Trees_ԠHH>Hq0u`$ {$Ǭ%Ir}2ZקS+[J4jm?Bk1hkCHYxY#2:y0.*vDoLb~SrUAaye7383V^hO2 =fLcXȝ[To׈q,ףWRՆ'U3CjkJqކSѼLBL@u I 3kdx = qN W-nۺE*CG a+dYgj|=uQ֤1M"Q, MK\͂2B41=bwkf>AL"_=OɎ߹RSoygȭڸ&Շۻ~(^8H^;:ɥ+nqSLIF3ZaߜcLjN_=_4 cKY0rqlk*ڀD K%pns>|80ey?V.sZYF.gbob8VJ^궾lF]@p<=C:wC\i( VO|YM[TAUH RKp8xrh"~Zm`n5 38,|ϼ^tQ{[PY֔ G.ufNɞbS."S}캬?Q{jJNG*{dF "_=|tY7/t@'%WrڳVI8fl FZf$|C>fSV vC2hp3nl`e/sR m4k RFφިe[7SQuJشтk–K!)jy [ɠFWSd5$iof}\>EX4춅Z;g:*wХ u :\Ptc>{qC+BASfuz S!>5vzw4.%mt+G`}iSB"A#p* 'p)dУ|g1t.r?a.Qk H`[D>WQ!`P9'14qtx)aYW26ѸyIᡇT_.9"6kAGɐμ:*nM_&x#q=nQWMI5P07z @U=B[W >&^V2Dpуna` $%+BL&LJ4cfҪVw6LܢbILLTc u.J2˙PB vҬVR&rbƊ\f5stH9aWm1YRT anvX}l+ӭ)E5Bo {QP&)}vz(j;8 5=gcŜf8۞{: oo5<-n{1ϴZZ% 94B`+[єwb4Du/Hcc&LNՁX`goM/,/?t-Rԏﶬ\Tx:ڪb*P6s%7 lHn/ftf[S" &'0'֮3^pו>ˬw`I|j~Eΰ +| $8_(]Nx*W FO՝#?<ԁ*2YF`SD ERL>: OCD #oЄ-Ogg5cIn|mQ?0ށ*[M Cl[=Жwk6c^TSU@B_@+/P:"P t'psodI?b!̈́#D!f,9G8:(rLȋ ,WַzvCNFhEOK mD}CgYZ0a25eb7f7cc33a321c22d613b0e9417fa2305b72 736b9a2d5fbcf5a74e796743a402a2139e08afd5 8e2ea0588484394bc5cce75549dfba011ac8ef96 b445cfcf1c121742e2f172367878a61977cb5614 bc5b3444dd359e450f61935d217b0a52b19dee52878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 61801de5e43545180136440fc3774bb7d9933b29