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 uu| | O/ ZF-AC:threads=2elapsed=5.774cpu=9.776gc=0.488factor=1.697zXZִF! ]}]ŗXf1-W'Uڑx#rÉFk\/P\JhŃ8 N D@Rl=%=ֲkmY;>hOrs>.ζXWB8 ~zrl+r,pC-h{<\>AU"n>AζWkwS9rͯCڐd C84(T,=Rػ9fVOm@*!^HƖ!$5x',p0 !8dFNY^9c|Ǩu>\Iuұ7i&X34:MlS%iLq[45y^B~8cҋZ4@)/g#UQ'v%:a;#ĥaS[5/'2\'֍E;4uj1/lMcMB/n"wYV܆y\gܴ9XG֒>xm<D@̞0>;tRBlF):-A }÷R,D2rpd<栱gYZ7zXZִF! %|]ŗXi%3-nsj-E8}Lǡ"9pNK'ؙ\JkW2h#qDž {EW:ͅ1%xDj%' 8SbZq8)$K?NyBӏV42ZܽFD DfAO.FZ~ݝ˶t9 FtmO0~} $|\4_חLpіc}6~CѺd([,ߥUl:vR7Ձ;"l /dy_;M`l72'{":$F>ܭWõuN4i S1xqzH}_ipM1DӾ }/4-hB `#Fup| :(Rk6 bAG$gUT^FpHQ*z\,8("= BM$z`ͽAdv$]2 5hQY0 d{w-9u%w,Ü'Ȯ\Y=$ lVve{03cP9~r)7oT 7ܤ'_^wRFT$xbRS/ӥ |=eT!y'ǜkg=hFuCV:,ߣ9@W,X&Tz.ky^b4+JYPgYZ30e14a4b9e04604c98bece64cc44ce8f80710783 3dcbf32a5b201c43f15ff143b6ae6554e8b4473a 3dddc0ff2abf09d1383929a525e0f8a75a6a3dff 5863f148db56ab09b24c50474c2ee660acf73784 5888623d64ba12e6f0306f3fd1f757401cb3f69b 5b1e8dced20a23958aeac57505cbe89ad0e0cd53 64a54d70f4e10b494bc05b075dfe89b52dc30641 76efaa96c7daf746388df383464cfd569957afb5 82457f4f58caead494df56976f8a5d6e07ac4bdb 8469405c44c723746957315086839625a26484dc 8ecf05ebc1cc866da7c4e19f6f23cbcf0ffbd614 a44597aff3d071ffa814710a7acbd739e91bbae5 b6ac791f14c9c5d23130d34bf64cacedf7be7319 bc19eb10dfed3c83b55145c646685284142dcbfb c27fbced03b045d7aba88a83c433aa1c3e3d83ac c60f47c961b5ab563d317645f93e01c285851ad9 ee99107f08bac5101c8e9e1e654125db32780923 fc9bbae489f04a0823db72656f5127ed041639e8d38e002fb81c6e684e22dfb9a00446f1cfd993cd 666f0599c9f97bda8df627c8c0f27fa7d443b1b4