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 yy|T m]]FOLP:threads=2elapsed=0.956cpu=0.960gc=0.000factor=1.007zXZִF! "]ŗXf1-  FOLP):49zleRna^bYB= RPKz}-51l*MԱYIFb1wSJ(#7F`̞AGtnj9gYZ7zXZִF! a]ŗXi%"- beX(4f񳅏/Z5HøO l.kll΍T3R /e~;<6yũ+C-8~)4#:D %t~i,Ȟ'X 8J1ȆdIcι8ET+Zf(;Mŝp" 1$[ U&_P=JXf-X'r/{ 1w~qa@Zk}CZS6RW HƔ@RLȋ+@<ķz٠mh0]NG= QMۥ\thx0k Gʔ tgYZ023701bf174bbfa9178ca859c7247367ee0be33c 18d9c0a577ee8d671763286ca2cefba8ae15b2a7 2bd9b81412f919bb4a49633d92a29f1f4816d35a 606aba507b4b8a629a41423d6dd140372765563a 728e960922fc3a9ed2e9f47290b9919f71026a4c 7e382739d4c7b05f9ba4e611c75c581c49fe06a0 b92be31af05c3ce26288e844608163c3cc6492b3 dfe105690e5e3eebd876820932b6c000f7b4f1a0 ed2722b7a288eae7bca6151bd94645009ec5467a76e60ab7be570c8f37ab4fbd0cc297599bd4212e01600aa49493d02be8a6d7b06b2db2d9902ef070