SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 _=  ֭+HxZO롉VnA/i$ŹqUgg{ ]3=+T EJմY0^\Z.ޗ7=R؅Z'MIQ0HoV|8R-YO#->ᛄ&j&YN%OqT"kve,g38|ymq5/p{H{A.Z pY Z5>guUKYOCBio x'߂N/UFXYY+;B0^E;$a@)GtE7͖ \TgYZ7zXZִF! HJ]ŗXi%>YQKϞ;#g^ilg'(v^r=\oǻ8@KVb'jouo1pe&KZbM(JI9+kSnh̺XIdsJ*@{jꍯRޖ YcMR0=ah$Nc<9#wD?F X~2 ZBnuWHfh]yr,w e^ZeO8՛!dߩǽ%@NktQ``.PԅCrEkEnW(I޺2?`lr}Go&;N3n{ ]0B|o[%+0Qm-לgp[ce߇1`Laa &I{q)r.fs^ ELՇ1`~!ZڌXv:;r~.3턒dc1Qј5WƊGlWՠ=`?-4j}Xo"mW)l~$իn!RԁQ*u`q,Ϝj4>n@:=%92ǷKoвs+?-q*&[opB jubQjTb|]y:G.<Q8 if~,Fѩ fLWv ɋ'8Y2L EoⵃNP`PCOoZ$K,mJi W8sȆ`1GXZ].H٫2ٰӒ)Ì>Ϫ97I[V. JSYPU]~O= T Mkp;S߯0`N#cՆHM6o>*rxԇf BQ= ,nҏr :Q7Y_Ȥ!˒ A+T v@ w F}) p.