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 %%D \l E ZF-UNITY:threads=6elapsed=5.160cpu=25.376gc=0.852factor=4.927zXZִF! bd ']ŗXf1-WHIk0p䋎dh֨/+aHe x M_`7bjd|@   ZF-UNITYz6\lr$ L 6n#Bsl)"4-=Tz#( =X/䩞pJ[M1m+E:nY2$&N2_p81ZFE5-cٙjxz{gpx:eWV!Esκ!ƸUdapkZjoVGz?;-j?+ 3djG q}ɨu7"f 6G\[};Hu/o{],yů)dv.jKm'O]2g}+3ѩ~ Sr2O_2[O+24}@`5`0^tTOQٻk/QH\{u͑U+SAb0'm4ZE/y8%b?94pjĸ^S &N;%C0ۯuӦɍVߨ6G쐵gMQǎK|9hɝϮi8g?yuɁrV{) `B:X: 8NʧG]2dy\JN,,hcJe 0 'z;jG"Qآnd\g]؏ܥI䑀h$;-HCHe-0g\PvҊs2h]ձe&Τ%46[ԌXekELYa !o9ۚ9g?cc9s`"_ &ɒ4FIs%9}Ic(u@tSZ9L̯Zڢv16*3gJfWh `#H_{D0d%L,?gVj07޵9(dDIE\2DذO4B 5INNMǢ7\sHt_deHFRg0门RvyznWD$ L' (aG3@O ?'' 8X0dVvixfY,%cpq:fsҰC-qv*.`ZV+_>;(59n Le`sPX)X(zrl&,tpvuA[tKFʶ 1rūp{DqT#-IjXr&m SQ}i)O@i,4acVoJ#uZR0CJey2MD#;r;Um9X\,1T>4yW0&Iv燂q?J\~VA 7/\{ob{ż1I7dZI;4+&U cҒ@-Zƍ(d VJ:@I$1)Ked_B8z(?UR*[pz QW"'|TV1`zRpIg!D.Xb~\m|}[f0x@5|\] gYZ7zXZִF! ]ŗXi%(n~p}eliܭPRޕMC5%vAE6$9ǣ(mxGZ`X9^'xPm"ai'ʖpdYiˣͫ<.k?L)$TBr؀'((e2>ʱ%̹x;.䉟gbup=@: ^ НLjl% I6!5l'Y0SԷ9s%{(~U1v 종j4Tq3v#(6}!h3ALNB֩nC?jD1gVb;=/xH%^o6Zm@w*/b )0K#zT }>C#`9irZLrJ)LC*'Aqsu=~ǜx_7C70N6d0QZy Sܜ,1TO1SPE$E[\WIs b0&G_V'B[6ˮ~eЦPuxJ!پGXqrA3=|dw=6*=YvN- / I֤IzL.["i~KD3BsgYZ0132b4851e2517caf08125d7cf10f3d657441b9e 0d18d96e673435151db9707a297874c8fb804e62 1468f0080b3e8303414ad73074621dfe5e79ce25 18dcecb77cd10fe58091ddb81c34192d228ac636 1de571610dd535d91aec3c0e4179958f706b06fe 27af5c70403d5039ab231e24bd6c7ce3ec57bdb4 3b6c17f313ce40de3148494638fe849b3ec91a82 3be1dff01d0f0eb700918766781c5d4fe9c54098 3be8095f7616207514b45f0c041e6900cd6a557b 411eccd1df10386bcd400c0819356d29a26339ba 47cddd16f693246e87962aea87bda5bb5c96e680 4ab183dad94d71bcbd8473aa7f61c93e3e4ec11b 52f301bef6110b3e25e3a129358cfd1b3bf296ca 5af7d7a72a075673330ca6ffcc8980c465f3ca99 86559328478a95db06fd450490a17b65ef89e186 93a63257b51dd919f23a6b17972c57c7adf95a94 a266815dcc527e19a8e41ed5e66590b3fb62978f a64b4980f3dbb344cf640cfad0060b6b1377feb3 b1b8e5bbe1248a480e021caa2a4541c23708b664 b9d148a9f6c5836a008abfd948ad3f087da46948 bd5cb36b5b5d1e74122cce58eef23dcd9b344f2614e15f9d1f57ff65395530877896e5591cf430df 4b8e64f6e6ee034aa34c29d505223115a87696ef 1e824b812d67ba3290234ca914853244b6cf92a9