SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 `' Dld ]]HOLCF-Library:threads=4elapsed=10.695cpu=38.144gc=1.048factor=3.577zXZִF! Y]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFԒG|&Bc5ݐllNY@Li>0>ս R,֧k oI`&60oGZB3(J]¿xCjAue!gEm`rsX<АM_]Q4\Yąēeb0{rLu ;*[t t0a7gvzGk.{h)lR}Kye-?l5r +õA-e-ՂC݂H| B~Xtȇk"av1MUE{\Z(C2 dʗq AT45(JHAmhS,6J$[D u=`D=R +b @Q8w9yC5r< R}2U`ABgalA16EVӇuMwdӘ-y/եnϬ'(v]N%q`N1 |q#2U21^Kӄz_xVlX?ҏR ԩwΖXeٷ~Z:K׬Nүubz>?+ycNLS5Nmn z^Aaڷɟ5 ~~]wtko17ACVʕ@4dFb,M\ TM!=CR0/T("3{X QߒgYZ7zXZִF! =U+]ŗXi%GVj!!]4: /fé9sz1iy ;L'&^}} r) \e:|:)2qO ~VM+kS_Hvѱ\\M%@Kϑ,HHL Р, Ȧ3 Q \%yYJH(BaSso&((kbg &S㔣WʤEBwSPC> Ao .,wJ3Q|&H3B MNx_i˓-mfX(d": Faͧb:}> ,r߀CI=(v9=2 ޭSX7Ub% df((뗍wn;2yw契[Hc}Xr̺E͔aΪ;Lsl tiQFm$KA=W]I0o4J-,o4ȷ75 Ϝ$B T@=c5r,k'oȺKJ G#2(AI"d 8IPy ;l3Np>