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 u' tD Y]List-Infinite:threads=2elapsed=24.889cpu=43.364gc=1.956factor=1.747zXZִF! 1]ŗXf1-/6vRZڕ`0 lO"Eu}wic?e|țy+x g[76NA[7.􀑖m^Y1PMկL0G[kdƬYo>DsL9t[n?gL0|M#':p-a$H`X |7:o B1{FMo6'jNkMমQajǷDx.pxAݫxXPރ^3MܱHMl"FatVl%E){sק ϩs (A>-vAN4q&j,S^8e P) : "6dc< \yP@ ~Kz2VzS~#N%ňn` =o=EX浶褭D!Zylom|yɔӻA9xZOׯM)=D_h@ 8 z1! lW>f7Y&+!oDd![?$̢byHi=s}d3CUIvHCm?0[ΘbTDKuAVTZ/gj)kHhӨSZG[MhkmO܇@pTAhX&b%!9RQHϾ(MVQifT¯3f&WJd1FhH^j.))rKl|:=PGBY H'9DIT59=Xح$u?[g1&IF_+3D*GJnR0jC5o9RR\_La:M?\L+x;Vy;RWIy+&޿13Uo?A\ti'[ Πd6 `'#zdq"(}PQD!.;7u23,CID2 s&شZG1s2c(Fe>iᆯ>x%aw:qԣcȴv@: oh^hrqyihd`Oج(CyBS[ VW}0(YbO-\Gϔ?z7a"=di얍57EQ`smda!kc+mtvlu'E&>ᡱT=Ӵ@-UK:ªkCҐSe GG@.sDN+ zH|t=6lg>Ta7%r'81wY  c~)ç Lp^w\+ ĂTh/IItJ a0)ʪ! :snq\D#uiO'XT ɏH=5(MlUHUpw|#,KZ쯨McӼnԛgG6K|(1HX/[Cʘ*o="bH$epX9Eo5ivm>ܠPR1Q:`Yka9(l6YC2TOXy"sxFj29%bz %t5N8GU=QT_BŢ ե8|ͽѴ9ChLEr?^?x,[l(ݾ3Tl"ݟҥ;/G% FÏ,'^2}cm@pW Fc#׷{dwRc$XkwF43k¬?} 43J'+IJtzQVi Dsdr62?ݍ1%A7#H`L+/jf\5Lnn4KbSu %gYZ055d4402eb355d20a482ef9514b70e9b35944132 0e8f185d5c5a37638c3fed8946398a875d552ffc 1403df84282ee21302f7b44d0144e2fb35574d5d 2b8d9192e3645c3f213818f3c18ce41996a62c5d 3f876518738d879265f412bcc571be8ff627facf 4befa36c0da22d93675a607c9e0943c65fd95aa8 7e422e5b661e52e95cd6b234340a30b39b6dadc4 8742288f8b256afb5cc82dec75065cdc6f100a64 9f666ebc55465a6438b701f8daab07b4ea6727e3 a36360c43c4fe0149582d8ab9b8bda4b339a9633 a566efe065e2f6a873df2dcd5781131b6854d35d c82ea78e6d5bed217a395c17afdeeefdd2387717 e17027b69b3855b2e1c5d8f085ea61fedccb40db f3f55c3ee1b3e884c71d5b59127924c7bbbeaa80 f4adfd6dfed2c5a8a28e960f4e30456e8d4d06dcf0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c13b2a44fdf903232f673ec5a59970e30a99727c90 ' List-Infinite