SQLite format 3@ .  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 E1\ ]% Transitive-Closure:threads=4elapsed=3.333cpu=9.808gc=0.188factor=2.947zXZִF! ]ŗXf[&L_7Ae6^@ 3_9#;(:)L |̸1eȰAAb|wxf$"s #_XiUK05Ү?Z7OQL(5bSKx&7!,i^?#PсRFxI͞mS%Sc*f5(ThDA_?a Ƕ.b27qEd)v YgYZ7zXZִF! /]ŗXiɟReDH$ 3gE= LEH&<=o*P6b8UrPTpƜ,u7Mn괕󒊑Y tw&d"l0*tg]Ftq-fA^CK{o%H& Oa7$blɡ|tR jhjd*JgYZ7zXZִF! &f]ŗXi%B  =$u Jol 8dHL޶Zͯq|-^2&YČU!8.ZAiWCGb-fݖ`8G:!n<Ln'Fe;L7=6}H 7kuǧcOۣFbhoC#5||0 / o@1B\!DSg֝ [A}v/F@T3d! 0-g1RQi3q[G7h {q2mM/rGwNˠVcQ{1EY7O,D_SI5XGӭZ>9 oCl&o|(&#Ci%O6F[MWӁ)uTy9ίC-hZ>IG$DzӊeuNrMD5KӪn5iptקd{|`g 035)o#1j/kr$F Aad(o!Fj4xA{>X?;ΦP=9#9I?t~pP;ND,Cps2 m1bH4 xį޵`vk 9BR~!ahy-mmfפ%w"\%dDtFDƌϝ@cξȼ"cn5m޴9?@\8sjS2r=hRz .2B5h0AJ݆$>hDUYVB(5œZxQ%_􌯇uKcx|Q|P2s"EM'mĜgYZ9e5b4a9fb1bf9b3dd96047be83137af04011e51cc3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a 5ed1820aebc6e02614c6693ae9e860ae9bf545c9 bd2643a71399af34e9aaf41f9dddb7d46d5d28b5 e63b42208ca0a9cb20955fbae605e4748577c621 1 Transitive-Closure