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 E$$ / ZF-Coind:threads=2elapsed=0.760cpu=1.468gc=0.000factor=1.937zXZִF! ]ŗXf1-W5) G(ݨ}e ʾW}!IU ;Fy$sKP#OfH(1˼$|NqR8V; éұq2fLT邒"n+M]t6$//eud< "[Ɇ  x}m!7S G" թVFK   ZF-Coind4a|@$H? (Bc1˼ծ@6"P 5 Q Nhe2a`75涂?f,Hckm;\04FtdCϗ G{zeMňl}ntPY{OZv(ƣyf݉2O /JFt?ێgYZ7zXZִF! K]ŗXi%B`ZxɆsGPH0 ݆.ŭt{E"i 0}rfZ V(ܦ ¶5Z/ *!Q+Y]Tˑ4_kq)PF"3掣zR*\eFO|xH,rI:~]g<3%j|[Ipե>v?3Y a}%Zv;9,`pѫ4=v=Z7 ܵ13X`5g/B^q4> 'LgYZ0781d4f8110620b6893583d9a14b337f90c28b73 4c6cba38a8330cdfe344988d515aa85fefc4c72f b57d31fcd7ff1f934ef281532e125734c69a3308 b7ba1864d520953f7b388e92ed6c9271c1f4a553 c3db57cb819716f3470e569b0c35b518278d88e6 cc8856a6a894dc243525a315c1403d33134885c0 d20d0895a7a73bbe2c1a06cb3a9dc119f28a1de5 d8f1a45b367d6f2fb1be2e1c839b1ab3df2a8fe3014fdf73a0b928fde39c061b3b448884e65fa152 bed9ba24cdfd5c6d1bf1670098fdd1a4feb9a427