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 MOT4t D]S Noninterference_Generic_Unwinding:7zXZִF! ]ŗXf[&zV 4gUMݠ}T|-)֍GoB'`\R(5Fc,8h%y=w\<ٍ%( +ɧ=axS3xS$ڍB\le~o"I1\5 ;gYZ7zXZִF! fX]ŗXiɟģ={#1w,9+ݟOe F>h 3p#(^,B9wv2 a9$^[ٛ>ԣÙtg"}YZ7zXZִF! 1]ŗXi%BB %  e%Mo`'.,`X2|6sDP^S[xklb<+_Y<_azW tH$k z}<!+Э[\i8̚H]T!Jw뻄QL{}?A$ qϽ:+3?ufWKqg~e {S 9 ADrVhп6JedvB|^BS`om'y-tQ k$:K#A uu Sï 4SM[HjER뜜S=&c71(͜&ͅTӹ5v.tGoiBuU;lJ\%;N˧O 8&vbwzI<((ߦŽ^W$ʇ%2_ɮaBM^[<ψ93 Vl)uM=ɗzYO"Nrh> ߝ$=Ad:P\& I-6H{ʐӎ/=O_Qs^,uٍ*TAcie3)Aynt"h-Kep3V(56\.fzp[ !&9c EYl9hQ/+; VZ½n2>$U3oe=˖52<}ֱ9Qj?y&H>#-a N%c`C@3l]әUԕIS@FvRV'"Pg*Z-NBNfs/}P<Ⱥ0CpqBG@N~dxؒ>%~ʈHeMvrS26N GG<#i?s.Br\i 2!O ˑ.kWM\fKyֶ{|G9DĀpq#9=3nCPB)cTZk*8lxps0y?G"SyﭫTFckh,(>^ f $+;rx.%c}!awn 9m OX3g `PUfԬ8̻6~Kø .Ĉs%pYKn)=Xp8&M@atPHsq60?B\ FƦ"j5A3:qeҙfl79"vYpV~#T,&Pl[a?X RkG]~Vm%Ĩ+>El Q3E5tUlلTs |O*G|7|{sv\a0G; &J0;iE%F p=hՐ0[ESFJˮ6B Ow~