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  pI4 S/ Compiling-Exceptions-Correctly:threads=2elapsed=3.685cpu=5.720gc=0.176factor=1.557zXZִF! 9]ŗXf1-/6vRZyߪf ֫_PVJ4®y ]҆[8GT|9V*՞:<ҍ9KmGz_Ȝ$hٕleƷEg:2wS7=" JS*aO<]Lb*&:qyܬ!,ckO˿-BY7G201GbgYZ7zXZִF! R]ŗXi% NJ-̓Q-&$*hB+]|:/: ޏh8.&crk|} nDU!g>Trbp~wS? C)t1mЅA H ]aI˖^@|I~:&+ܛ?8"ǐ"[Sl$E$BA8N/2fUqqx~N)p/͝|!#'ߢ1>#$+ H箽6b-L|.6ˑI<@lQ2|ŽiM"}o*bk+&* K&tKaS }f5]F;)1#9b@JUA1bSUb\| Qla 7IrGgYZ467997a9af48915d9ab50d94f601c8ead565deb3 892e8674c441f34e9e5ee16d6fabebe68fb2aa81 b83fb0bb410807c5afb5f5c6cbb20d7d30211ca7 bb087981173cb1966c3e6d3309cfafeac61c0149728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de !I Compiling-Exceptions-Correctly