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   sG \\ ]/ Modular_Assembly_Kit_Security:threads=2elapsed=38.860cpu=72.752gc=2.484factor=1.877zXZִF! D]ŗXf1-/6vR[; IXڷї:K)gFDFBŪ`|n<אD2Jfу,JӜwژjMT?RoQV7+gե8)K`sU*eE"uh  G Modular_Assembly_Kit_Security  AM-=a/q R1͜BAԌA{J},r j6t}2V)y֩s (Ph HjFX~l·ugH6d~?)7rq߾(#)pv`bܻn$:W8O*?}ֽ쇋U+Dof%O@ͰOۭ>jYFϠ&1):ey O>[h |=[8i7ď:^aQۺ}}Ynf3ǡe;u5'kֿc0ᬀzݘʓ._De,j2qKd@2&\ J/C%]g"^@!&Q=^d Kb9p_RMw-,T/"Pɇ( :&3Y'Wʤle-Q;: ]p1 CouI(p<*=s)Ԑk (Fs9óǀVT;7JWeS6Z3: odm=h/هIv;W S5"-5;BLooo4 7lgYZ7zXZִF! ]ŗXiɟ-6±Tdr-&'TQW o3`b\H1~ěx&w*SoX.HFgGߟFd"|>Q: ˄?嶍 9d넰 I"UaIKF9aAE\yX~6 ΋kgџBÚ&D|AB}SE< `F'IE>(`Qōi$[h]~j6z5³?B:bĪ"wc{Զf'0<,YcRMUr*hun~OBMmQdjjM_ bóګn$/'CF.Y9\'HDTp0FD:' a|LgYZ7zXZִF! a ]ŗXi%>ghu1c),h8\@5tq̐h Hm` tn_ #[0>zbR61CvI)A,is|UD^~w 4AFխ SC8-T!#o!hXEMGy~A%j`ڶ=AeԁP 'g\`w !ÌǵDQI_bIȼlM5!P+&!WeJ(lBȌ's Z@,?]cι`@7dheIQ_*oLc9胢v~?SmȻp|N5J֓ \vzXu-Ԩn Ҹ^,{=R$Yw'4dRX(Z}pᱰEÔ"p?U 3v Sq8cU t:osAd2Kke64U¹٩y"c e? Mz.ֶ+rq/ZPZuIF~|B:@&$"[[b&F!M蠾LKHH?#.W@aiU1CŧM%k7+5yU!@zqM1 7 W6 1',]<8Qݿ):7h׽,493dn a415P&DL aM"Ogv=l}=:8Lp== g.Nda+V\>tX各 椭 (VQ?,ЉVyX!Ͻ~oOobmҮIA_jƋ]eK^!faM3%sULFeBk6lD 9K(FTszA_G޵uL'mmbvOw{d7tYS Kzw@(8At9 Nr$EBL!U I%'Egew3# |yZgjekv a6Llg)!{?[1m NV :p_.80O}g'K `t7 ]֑tyx'IgksDvɬNh:l\ypA'%JIZJ8b! Xx ~ W\H(>en'w < @$i)4M,۵p&  yIC 󓽞=I:S@rbEʺxx̬; 1oC7UN^㓁4!fIup!ՁU oF,<|lZ=̶4ײj:h|:f5Ej0;7̈́-d@P̸2\y{U_gO pq}09Lycɧ'H"6q,̍-&qX*#Eś>@yɯ"=ĩ'mFu$ =ijP(+2I/\m+YF/o(RC iJ)E+5BvP$89,=_Cחȏحn%[=$m0b)%63lBgg72,fc G^`"h‰> -)h+pॵrOT}xjZ,QGgiE+a^p+0ʵ7L˛Y v {X|i_gW*(R(- Jg<95G^M[q/V_`ۥ}??j+[4pt/ABӌ܈2m s[oԕ@H;#<G "emQXjSR~sfldpMsTzpkE(03j;I#VgO3o}9uA?cg3gN+>]%|Hn`:eUs' Eql+fA&fTSX섦{Ԟ (VGHrZjLF!P]CKn-o}˭S|mgؠzt+\x34_)4&Ŋ"=0KB ;M8ۆ|&YSEmXl`aĽ[{SS?QHƵ3Pe%8N79F=VhQ yj/ҪG(1?ngYZ70d05dc639741c0bba3a600d0722ab5c97ce3734767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418