SQLite format 3@ . YYQ77Atableisabelle_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, "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 /O \$ ]S Noninterference_Generic_Unwinding:threads=2elapsed=19.081cpu=21.128gc=0.316factor=1.117zXZִF! ]ŗXf1-/6vR[y(&j-:6&GHLٝRBf]v:̤{mt;:@ fK151 g8M6gcd'BύLһa2THIl +̘jPF y4[; lq&ϸKg\W2&u&l`X2;@t`VEqqfޮ\$̼ >!y1KK14[5E}rU(c{Ea1%DpAܭhiSwfu0M@#}Yg\eP n}bzwOvkRʹBSIR?T@,aU_PGWq9'Ds!,'X)~%ҷ{z?W@bG6 n CcqukQnkH5ay}<-i*0b&rf jMLU^~R:0^jS•3v{[c0Nn|䞍؏o: Q gw.}Kbߏf]7c17"i 2[ EEwev*i c be1b𩺽i:7h_BP'Leڎ/̢@vku޳e;:0,w:e2vc_IT3HEsM!vN]zv!Yca-#i}Gr5Ts}U>/3j%+aqsƙF\