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 ]# ҔZ$0w^mظks·o+?jBZb]:3yZ;u/:>|iFGuH)Ŕz_. hvm+vkwW*bh5 d=]_-Ȓ 'EH~ȘYInE}BD@ XLkI K9@o7uH ʻ+kGHpt0_Z {d+%dQa[wSʄ*K~qC*=Л[r`WmdD?llo;؎Dt'yYR ׆x9%õ+MZ PVI6aWO\NUL%ܭUbO ~lt=dt[+'V(Ⱥp+wтQs,21ӌT-BXU0.:eҟyjX̊obJuwFy1<^4T޻rrL=Wp{kָq+2j`Ua2E3})ZH߾ߙ$, l.4OG⛰.&晆B*mEMp)쳨 r͈HXXʠfEMC5(}{٩k&W: DT],%Ȫu >pF}#I'8r7h# EU\jH;; $J~E %\ل{/TyXiOJ >_gYZ7zXZִF! ga]ŗXi%GgP'+ZTf"DMh޳z16I [p~iQIS BVG[BVld5S%Aٳ;ʶ0b(<y^p|2Htd{"OAJ*>b~c߃P|D= =,빁-P'ʃ#mQMAq~Lmk$h,.9HJmG%=7E[1hVon^ FS"ȹ`FͺOYme/>oFf ȋ-2HsYP:=OK '42Y/w5^Mxy~5&hݰ"(1ƥ0#~ 7쓻l ˧0T5:և"#6>h/ 8-X;0xy,30Ķ;C<N/[A/YQ3+f%AM>P)2DkJ:;W}Cl4Yev<0l ȉv4:'>/Zy.s:k"_RJ`OR1"H, м.!g5*b shbtFX#G𜂸"xCKm3Tb(6^$ԏG 3y=!!Qϵ |oo1Cn{f me $CwVkm<0Kh4/y2.SU\yьұhcf?7zW9/,jÕs$<^ql[ X,_|8+#<X .>t;F ]HcТ~*Pnl>D&[1E*ˎ =@l.>+/cIӱ,|%e!Bx̻c.{0Z/ ~?O: PwIߔ:a7=䮨!S?4LD MCߎhWT[Sk(W;q[ФW50j֜72y \S>Qʦ~^X8v>ڤb_FD8i JaZ<b7h肓P o5M: IwxZ&)'KMV1KɹbzTOCS<ף69{34A%3/(hauZfcFyW̛`wXTLw3ށZ%y|&f`@gCL q; #ur:PA4rN{7iW<[!VNjY'Q'Kӄ, TV+e6PPF=!H]72fmx2}`ٻCaSrWٚE~dfkܟ`''U_S[b5Kbk)0h!HO9B-øg8 ܓE2|#Vf=Xp >gkC?q`OmkdrQ\ og/!W^_Q$]!J"yGG >6^zy$+2|s%o輷T/?_ona^=gYZ5a5f2bb729278eb3a574cdd4edaa115ccf74ae2f1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b # CISC-Kernel