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 NN', w/ ZF-Resid:threads=2elapsed=1.569cpu=2.612gc=0.000factor=1.667zXZִF! A]ŗXf1-W[lʬg7]=e/+u9 uufLRRyH/$Óח 6-F 4 #Ki>F~<"M'Îaq{. j{i;!~WK$d6v1*L>QYUGI_w.kK(5utW ac]K (_zKiS#XèO; /ň]0+o31&bLb:A`q8Yii֩׋O|K>c):s   ZF-Resido͒QH$ G!z X@&qzid7}m|\"H?}%fk<(oO`*i1r% \˲:+CRr{"^w WLc9WH"LCZXͻ"14[Q9÷S*An*ex1ѿBC9!i?+ů/W/(2 4ұgYZ7zXZִF! *]ŗXi%3q=9  Imˍ.tOL1{| JHtW)ecԡZVʃb{/,X:p9IlkSAÝ`,1.?gYZ032747f70e60c520957e25c149f5177d8ecc8f72 03cef9d5aed6fcf0832053862e506bdf96619c2d 087c424a70f278759c0b6e4edaf50ca1393d5072 24ac677f35b56d2c8077ac01c99e36cc65b0c88b 8d81f5a8f8401e6ebfff506f46a32901bc7a24e4 ba2c14da6ee7b402a5e22de38cfc3c7d614c7215d38e002fb81c6e684e22dfb9a00446f1cfd993cd 666f0599c9f97bda8df627c8c0f27fa7d443b1b4