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 \ ,L E ZF-UNITY:threads=6elapsed=5.110cpu=25.188gc=0.836factor=4.937zXZִF!   ZF-UNITY `]ŗXf1-WHIk0p䋎dh֨/+aHe x M_`7bjd|@z6\lr$ L 6nz {E$<|sݘΏm3Wm3 AKS-9l`ҕblUmmqB+b;HWPS)4&[<&o =`0VO( s 7P>>tZ%V;j3\- -^IcL+X?n )iyd 5 [b A> 6ӿp7r J045g7-PIz7uMXc8 ;R[-LA>t9 3uڄ: fESk љ4̗&η?I;AiO~? 7=4 ވ 슸n=q^cj€ה8ƃtJ)OG: ibQWɺNf?ڸ5wu5 c<}(!zag96@u@XK!G)\&#*W,e.V0z=0 +7bmyh:\{̞2WL!7J6_d 6)H.*kiqm\Ud|BH/WǼpun&`=rbь3%oݕwcC30l[t a  ʼʠJ7Q}'hR4|?½T#zF8S;'o )U=\ b 6_3KP7>lz /Y kU;HЍk؝oƫ8qDm{~'5\f[l-S UR.?LʘIYw2\Ίn'G3it/[)H&7|ӧOƵml?HA* I#.ר=IÙ v' 88ߜ䇜̋/X">H&1Wǒ#/j!0txsE:N{oIb{W?qCdZ%Qaq4/DQ8q7`$=+a~b*czW?aW|E"zd-Cz߽F"iqZg(&U>U+ z,>1;-Y> )R(zwfi*=dưG[(xj[o .K:H (.!o]Y j %5wLy Ļ˹lObB)%"ӃJKD,BBw"~CHs ŭolnmXbGu6ldNG3K0"AGu:CtS`2Knٵ 3bbˉCsjZqRCJ7vWpXVgj`%ag@}ѹ 9+B)14A](LY!RcʾM8dt2xW<AM3 ;vvzdUYU, ٳ[vl^WG8?x.OP-، 򅛢7?a0&RBYLUAx/Bn DXgYZ7zXZִF! ]ŗXi%yL jn\JaTI­]3C\(d?"C-oC#4A} HBdWsJJ嘏{iavHbfGm@xF&=Q,ꊾAbnrz13yTgYZ0132b4851e2517caf08125d7cf10f3d657441b9e 0d18d96e673435151db9707a297874c8fb804e62 1468f0080b3e8303414ad73074621dfe5e79ce25 18dcecb77cd10fe58091ddb81c34192d228ac636 1de571610dd535d91aec3c0e4179958f706b06fe 27af5c70403d5039ab231e24bd6c7ce3ec57bdb4 3b6c17f313ce40de3148494638fe849b3ec91a82 3be1dff01d0f0eb700918766781c5d4fe9c54098 3be8095f7616207514b45f0c041e6900cd6a557b 411eccd1df10386bcd400c0819356d29a26339ba 47cddd16f693246e87962aea87bda5bb5c96e680 4ab183dad94d71bcbd8473aa7f61c93e3e4ec11b 52f301bef6110b3e25e3a129358cfd1b3bf296ca 5af7d7a72a075673330ca6ffcc8980c465f3ca99 86559328478a95db06fd450490a17b65ef89e186 93a63257b51dd919f23a6b17972c57c7adf95a94 a266815dcc527e19a8e41ed5e66590b3fb62978f a64b4980f3dbb344cf640cfad0060b6b1377feb3 b1b8e5bbe1248a480e021caa2a4541c23708b664 b9d148a9f6c5836a008abfd948ad3f087da46948 bd5cb36b5b5d1e74122cce58eef23dcd9b344f262bdf9273d7d39c435cb32b273036f958d29aa326 0a6bc24360b7830520466466b492576cb355de11 411e65e44bee5f8f7579d0f16c640d878e389ce0