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 r %/ GenClock:threads=2elapsed=4.119cpu=7.520gc=0.100factor=1.837zXZִF!   GenClock (C]ŗXf1-/6vRZwE}%X:!:7^ er. .? SAsǞΕWvkaj9$L~R LKN̊k'`2JM+],fy m? oAq;̜Y~V#OoCq~')@8Hjr!L5 =xHt>%3v- _iaikAN{ؿB2G^_≕Gݴ^`Q->+?):: $@Ɩob\@I0|H[ V&f&8賔f]ȶ睯{urd6L"9p!&{"4w{S0v֜S6F%tDKNb#e&Z{]7TrkjX[Yr!v :wl癬o|??Q#BgYZ7zXZִF! %]ŗXi%B׆`M)&%9_NBDmz&ߗ(>zGl6:Y8Obr7hoD;O HFҤe~E]^~NtuAg.OySWnno?geg*v5 }\@oϦ*`wlq69]64.j`M,/EWPaK .P.EW9=N(pU vlPڄWr:CG@x~owt>)8: .C`:Jc !M9?QK̺wXʧ|hT@y 7{Nd%$UJϋ(hӢ🄈^N+Jߎcԩ0LU(m 5$S@Z60A]x\D kՙc3muY×EaFf@vcF?9Vg fKo@z(]Ê.̴w oǷ:%*Y~˻cW-f/l 2mrѠ,Qpl+ P1we5@Sژ5`Lq9oz6 H*EgqSta@.&yo4mjCD+K</j,j/QD~lgMt󇉈a F<7 gYZ4ef7d654a44abde1d46de49c39e6305306e52f24 9213ee6f5cac6d71b992af5787ec0ab2f83f8546 a9c34ab35a5020d1af651bbad0cff1276d146202 aa5c3011edce68a6909f1253d65a6858e3d309bf e6bdd1ce53e84fc2047be17687dcaf23a14b4102d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295