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   dIt, S/ Compiling-Exceptions-Correctly:threads=2elapsed=3.866cpu=5.900gc=0.244factor=1.537zXZִF! ]ŗXf1-/6vRZyߪf ֫_PVJ4®y ]҆[8GT|9V*՞:<ҍ9PasQI zʄxv:&E1iX)c<]Dc m᭱KGcJqɷYU=X59U(>^IoqgYZ7zXZִF! P]ŗXi%e.S˯Eܝ 7Gi;ЧR_^'&KoՒ+PA6S[AQNDG]wP%D@ʷV2 7#{0f=5D0Q51*hpa)KA3\Wlw-w+UЯRq׋Z$,3uyRȵ߳d)v* -q]v1mYMm#CPpi񈇧+Dg;\6 n'I jE >5${`*yРw` f32Ms#IWG@̐T1ƌ] ,cq!̲1xngJ ƮX ^k@EiU i$lc5wEHPēg=oF%C5i 'Yv{bml1$ ꝁ:'5Q|k*vJ$ڢ<3m b {ZZ%=ͺceԧb:QhͲZZ-sJKFAi<_ I"B(WR\֫uNj^7B gYZ467997a9af48915d9ab50d94f601c8ead565deb3 892e8674c441f34e9e5ee16d6fabebe68fb2aa81 b83fb0bb410807c5afb5f5c6cbb20d7d30211ca7 bb087981173cb1966c3e6d3309cfafeac61c0149735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa !I Compiling-Exceptions-Correctly