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  @Idt S/ Compiling-Exceptions-Correctly:threads=2elapsed=3.631cpu=5.444gc=0.196factor=1.507zXZִF! ^)]ŗXf1-/6vRZyߪf ֫_PVJ4®y ]҆[8GT|9V*՞:<ҍ9K]Ԙ2a&I\_>p9?g+9WAP>ɴDZBlC BSP_8~1g/.҄K=H7*V/N˰LLj+t ^4$o}]>g:nISrOfGZN^lް$u7㳹F9~kz[ip erB %l5AunPݓ ѓ6ܾ0cꪑOWeEEr_OMSu޶)?Pu"EMԟ6!SXȼNмi!Q':d[d\4F;˰YRܹٓXp i1PIFThgx 8,wٯ+ռIh3qLB7X]N}HZz1RS|@hߞ8u$bX 5 )f\`$4Ѥ2LcjgLMƹ6X:jH줛.wwH 3ik9CS547a+YM;뉁?Qb@@}̕3\бgYZ467997a9af48915d9ab50d94f601c8ead565deb3 892e8674c441f34e9e5ee16d6fabebe68fb2aa81 b83fb0bb410807c5afb5f5c6cbb20d7d30211ca7 bb087981173cb1966c3e6d3309cfafeac61c0149c7c621c8c679c6f81c939be460dee2fbe4c459ff 6a3b5f35a47c619c2090fbc84ef59d242c963bdb !I Compiling-Exceptions-Correctly