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 BB;- 4T ] HOL-SET_Protocol:threads=6elapsed=21.094cpu=92.940gc=2.480factor=4.417zXZִF! ,]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM<sʧUp(t(|8]==eIPz+GÍS-4~K-ipSYbPdK-ń۷qh2;ⲗ@l˃\Ll8, ax:mhΎH)[|ٹl;>-P$6Y 톻N5+N]SiRnrBqA쉚\$-&6 ft B\G0{w_GqTR'Hwwfł[,T`"@ܧjqxt 6l:&4Y搡V Kd^EIs2CdQaeGV  u4BˍBh/&}q8 _dáؓ< 6non +L=oNjGԚD;_)Hog$ |PSLWM4x9| zgKCOYPݷød:g]p07 ʗ͹ް.[;IPQ\Y)[`|c<@Hm4/o7GwOs1O,^p-JE6u iæ\stXClK5uWA.+ 0fh?9HmYlIob Wa#A9ž=C&Gr\hSY84 IFnq 8x!YeߔM7v A(w>q͗ VL1/%zG)*l~ߨ>NaZ:&V@gY3f!C706ߺ=ZM9m#d7 fu\0AKZ {^ȩ̒X<7YɗgYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTtbĪ`IB2K1 _FjDv ބt#t$L_/֌ځ|S7Kh{zs%a&Йpj1ȓ5/NjdqWdvBRz2RIX&c\ZȽ$gYZ7zXZִF! gY"]ŗXi%@j.t!@Yw#GbVEz*)OvEU.RW'ꙿsD€~gMBFMU/@3؜-@EKsk&8#ɩf1dÉx@ܡy2jtur tp48@nf F-MA$s ;hQcJxvkrl"=tNSnEf L|<#p;/M],3g(U8k|o- dOAyeA.N Vѐn5zK1 zR*!$piKmB 'Vvd3=,~%)M'*s2?=/}%2~dKbX('AD;2ۡ$/Q-\qז|-qH%oÒܝA=/]9I~\-繯4 {~&lojgN6YB0k|eJv#ԫke. t $Okl& cg4#{Lng;]p7:UQRÇrI>ZxMu+t{KI%~{Jxi)sY1RS)\uG&?lg+E],u'^x};;ܖѽ]+ ^ȰI {qjT+A1|LVKk+X$t\ ,VKcȶP33#j+\J`rGn>w5ն x"̌i2TQMLZeFTd6À% `\8_\P炚6ENMphlh !lW