SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ?IT S/ Compiling-Exceptions-Correctly:threads=2elapsed=3.615cpu=5.580gc=0.244factor=1.547zXZִF! <:]ŗXf1-/6vRZyߪf ֫_PVJ4®y ]҆[8GT|9V*՞:<ҍ9Kls&bD3-݆beAF2*d/OH|q~qE!ocL#دx6>rLYyLj-^9<Ʈ5Q^^ !I Compiling-Exceptions-Correctly(Z2?opׂN5fV ͓ڵPbH4o;朵2* EloOn~`.{[G,dmo҈cO8pÕp-~wK0+ULTO0(dʼngYZ7zXZִF! #]ŗXi%VkDAF1!S6KygW̅P w..Un}!2i2+h"8b/U9h/ndboK[[jK ٨"2P[I;l[6oeiyxj7BՊ̿jlP͝^Env]74")TEp孡w#1Y}Zʣ颇օ>S5wBݪ`V'C凙1`if',:R9su9SᬜXJJ͎O^q+ʺERFm&, ,*\>Įlؑx^902J~9C5E?]$Y߿0j)~g9EG8mn\w3Z_9Z(h\ ֟iğzegEZX |155 4#pX Q#24S:3'?{Cr!$]s`Di-mg3h gYZ467997a9af48915d9ab50d94f601c8ead565deb3 892e8674c441f34e9e5ee16d6fabebe68fb2aa81 b83fb0bb410807c5afb5f5c6cbb20d7d30211ca7 bb087981173cb1966c3e6d3309cfafeac61c014980f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b