SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 N |ld ] ZF-UNITY:threads=6elapsed=4.965cpu=25.492gc=0.876factor=5.137zXZִF! 5]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb5綪mN+#RpYeS7w)sLat Gr͂))S;{WSWb֫&ytח$>Tg.-S꽭㻮N 32GIۅˢ~&o!jY.VHtzS9]+b1zsߜK˰%W8W^)I>R/TM̪ o^ ELJD_*pKĻHkAӡxqjgs 7ʦ;/ x>8P1ze1L9ѱgYZ7zXZִF! ho]ŗXiɟ9 i:4V;}A<<ګMP7j9t2&ar?Bq^svFm;At0$w@k$RD1oOqeIOA؎i+"Ӕ,Eˑ/a=\da&?|ݷ{TX(udJ7kYFy?o8R}+n1~H2Akn$&K T. rbVgYZ7zXZִF! ]ŗXi%945}),k߰xf8i,c-n`35]]h#nP(s%1jK 5`9rX2XDQ*Abڜ)MLkKJ8JkH ٽwQ6sfh6;=(h9 Z p }.c4u4X^L~:߶}9[`wsSMDyfEuɃcbݧӔz3#l[?RV > W8LM48gYZ69bef42575c240de2531927be4ba6d0b4694e15dc68b30ad566b49580fe13839f7a432f3076bf46c a8a477c29268f866196e255e416209e645947c3b 4d8f34331cc2346040547f3467f73e19b15e4524   ZF-UNITY