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 qqx 4| E ZF-UNITY:threads=6elapsed=4.871cpu=24.488gc=0.820factor=5.037zXZִF! ^]ŗXf1-   ZF-UNITYWHIkWxXr:y?@gpIhmxKɃUȪDtDѱGHw~@=]@Q"x 6O+D[*8-@\u'MDzCm%:棄-'sQjOw2yWL9IuhXwk,E)6oP\pJa׼5Yͯz-$"k ,/I㻜𭹷phM_jSkB8o}84}όL92'%yAH :0M^5xdb'K6^NiHJ?XyWsY{n[`MR*Ҧ;t|􄲖5H+YZ ̩V$Z \îJT12NT>:ԀeZGጂ{\XBRͰ$5.%UJlJ#]%n^"Yѧm>%R]G:Vdxp )|en_F{Rq;ZRż_H.ofd/+LqK]bMc#HMm l ⥚i# -I1988N/ ,nHG? &A[F,T.,p[)Bsd^q|M[v|@֒,acdZE㱮,5"F#dzLzb#z5ےAqg#;[i`i-ն=%j"4rjX^ ڍ`3|O;l?h]x 7q?!aO^܈XS O-^B),UQRs(Yz<7}x$ pLod8 `kz⩓tTvB,vSo{BmK`h81im:B]ߧVF -.#z"I u|}'xG : 2+.(⁞({77t'[!r <\\ XpрlزxC+"}87A༻) EK+ą~ 艂!"{A~m}7K۩v}tAR. 2F$hw ddqʚ}7wJ4ӯ| p8/r|H|*'}ldt?X3l6XwC3.h7M9U@|c=&$oh'Hr5.K8lGC #]@8ּTb,rZ3 r?80i HDG>v%_㄄=7~35ۮhok^mBԊIƢx^㶚`X~>.dz4ږCPVkP\Inȹ{|{05J%FFh-2"(Ol >Ъ-SOR'^CmU;1E!PAR/ҙsΑ@P.MDlMf܆C*@zSeXl.(ǩ C 3<2gYZ0132b4851e2517caf08125d7cf10f3d657441b9e 0d18d96e673435151db9707a297874c8fb804e62 1468f0080b3e8303414ad73074621dfe5e79ce25 18dcecb77cd10fe58091ddb81c34192d228ac636 1de571610dd535d91aec3c0e4179958f706b06fe 27af5c70403d5039ab231e24bd6c7ce3ec57bdb4 3b6c17f313ce40de3148494638fe849b3ec91a82 3be1dff01d0f0eb700918766781c5d4fe9c54098 3be8095f7616207514b45f0c041e6900cd6a557b 411eccd1df10386bcd400c0819356d29a26339ba 47cddd16f693246e87962aea87bda5bb5c96e680 4ab183dad94d71bcbd8473aa7f61c93e3e4ec11b 52f301bef6110b3e25e3a129358cfd1b3bf296ca 5af7d7a72a075673330ca6ffcc8980c465f3ca99 86559328478a95db06fd450490a17b65ef89e186 93a63257b51dd919f23a6b17972c57c7adf95a94 a266815dcc527e19a8e41ed5e66590b3fb62978f a64b4980f3dbb344cf640cfad0060b6b1377feb3 b1b8e5bbe1248a480e021caa2a4541c23708b664 b9d148a9f6c5836a008abfd948ad3f087da46948 bd5cb36b5b5d1e74122cce58eef23dcd9b344f262eca16bbb2d69d36887d7b69b1741e1b1f3c8a22 1f639b8cb582eed9c989d660cd4d83e7e90f2f53 528ccddafed315f77691702b79620a73fbc3f07c