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  5 5HItt S/ Compiling-Exceptions-Correctly:threads=2elapsed=3.689cpu=5.640gc=0.196factor=1.537zXZִF! ]ŗXf1-/6vRZyߪf ֫_PVJ4®y ]҆[8GT|9V*՞:<ҍ9Km2BKW TL.cWui-,V '4Jnxi~K+Ո8bq LB7*RFV+FqAaJi?*gYZ7zXZִF! 4]ŗXi%~cBn S BZ#2Ji6ϥq/Eh{F'Z7 yp x&#Oi(Ĉv[Qtgpj1xOGEU8>/H,(; ^y[%TܺHM.ު`]*7]5Q2D]*xN0gՈ:Qby_jַ閗P1)=Ju7XM5TƽK= b>$ !g ق Pֲ9R Kx55'Zpf mn%77X~^CbP02' ^mu=t_ء1OXFNR3w^K9ְH-3^ShgYZ467997a9af48915d9ab50d94f601c8ead565deb3 892e8674c441f34e9e5ee16d6fabebe68fb2aa81 b83fb0bb410807c5afb5f5c6cbb20d7d30211ca7 bb087981173cb1966c3e6d3309cfafeac61c01490ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f !I Compiling-Exceptions-Correctly