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  < E ZF-UNITY:threads=6elapsed=5.148cpu=25.200gc=0.824factor=4.907zXZִF! ;]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄđfK8. |K^j[~aū6)w=:VDU^s+zY&scx8>%gJ&.epRK :c]-Kw+0M0eC~Ձ.ߴ!8Nۡp<  û- wvn@c%7W%oq(#,+#:9Gc|sjY)b[?KѦS->eɁPg/ΐ޺<@n)P(*kѬHJmq {hw}^WY/aFZά#'qxpCmأ5y,|11Cdb:̮(3-ZG9:@_w3q1;XkU,4]Ȝ8.yvo Ƀ؋q8k7aEpB_tրvAF|4<̓+L xc`U,q%ɺбgYZ7zXZִF! <]ŗXi%6pK#2oV19ebMx*PӽzFĢ3v[Cb lT Q1#P<<`33.Pyb> g7TѯEkce҅ǑDOi lл~9zS2p .uqC&v˛Y-僢ÈV1W5i3F:]C2OijW}m84&s.ԪlJ8w-"{WY=OE'sDGi@6(º t\W3sgS%F?_ôJ&puALyۅw3bQ,,Jj6d}Mc(iDk~mRx5D٧N|U]H?}oZ3o <2|'rjcRD"l0aqHE%Z~קw/dH5ju6֖A`u D fP ­\ XQ$D,/US*@=k ٺ_R '#4KN""zOgZbMkb43"c@Ә ʍ{9: jZ^҃C V2c K;ZåOÂqwTc3"b[ɃLn׀T&v^Z@n4jV-oMܿ4͛ W>9$quPWL8b+gYZ0132b4851e2517caf08125d7cf10f3d657441b9e 0d18d96e673435151db9707a297874c8fb804e62 1468f0080b3e8303414ad73074621dfe5e79ce25 18dcecb77cd10fe58091ddb81c34192d228ac636 1de571610dd535d91aec3c0e4179958f706b06fe 27af5c70403d5039ab231e24bd6c7ce3ec57bdb4 3b6c17f313ce40de3148494638fe849b3ec91a82 3be1dff01d0f0eb700918766781c5d4fe9c54098 3be8095f7616207514b45f0c041e6900cd6a557b 411eccd1df10386bcd400c0819356d29a26339ba 47cddd16f693246e87962aea87bda5bb5c96e680 4ab183dad94d71bcbd8473aa7f61c93e3e4ec11b 52f301bef6110b3e25e3a129358cfd1b3bf296ca 5af7d7a72a075673330ca6ffcc8980c465f3ca99 86559328478a95db06fd450490a17b65ef89e186 93a63257b51dd919f23a6b17972c57c7adf95a94 a266815dcc527e19a8e41ed5e66590b3fb62978f a64b4980f3dbb344cf640cfad0060b6b1377feb3 b1b8e5bbe1248a480e021caa2a4541c23708b664 b9d148a9f6c5836a008abfd948ad3f087da46948 bd5cb36b5b5d1e74122cce58eef23dcd9b344f26526e8fa78bb99d89fa778f74719f4186ce030a12 4f12bd0796a09660ee6c68f376c822e0843fbcdf 862c299a498ad7610aed828c6fa7ea3d1d2e0483   ZF-UNITY