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  oG l\l ]/ Modular_Assembly_Kit_Security:threads=4elapsed=24.176cpu=82.176gc=2.356factor=3.407zXZִF! H/]ŗXf[&M^Ɏ`:U!$,>m.63M~V&*[c<$(}a s,ߓƤKMlf=Fbw0N5Zp:0&ѐ0eZ7mi(]ПI!F[l3К dף+97(b-ZRRh*CaS;nCg?JR"&-QiKuN*o8;v?/UC!3rƷJ(5F W6dF̴t"x=lj7κf&khm2O~(1wuY ׭62M M~S?=vàUo@Ϻc3_/P,oVVOڡgw^[M]Q)$UF!x?]% އ ~#刱kdf@PdoojzѾ_eO 'ʐsrILm\WMQU\E2+ċƜ9]\ܾYazݻ}C\ ¦+{:++m>=| 4I5 0w>>V"Η $f"\5e}BBICܵ"**d'%B2=[E ,8zic+L[Nk-trk]#&8>I  G Modular_Assembly_Kit_Security  􌈡rub;Ev,@B%ӈбb֏t^ (W)>wj/(懮-R="1 a)HK(l-\r7&[3pIiϒ࿖-ĽgQ4c40y,ֺ;j+G#Fq^Iv^UlA=>w: ᰂlf(+DQn}.M9WAUH( #Z Q|  aSrYh=XfSޏGR$ҼQGw{ e%8 ]5ۯ hHJCeÑG |ͮ3Yx29}Yg7ʰa x{død)>cC;{MӊF buk}1Bp@^-l'Nn[К^nK6gѠùIHs$Hg~I?Le^8rZHD0a )hVF͠T`=g}OEJq<5RܓcYðJqăerO\nB'W뎾7 85gYZ7zXZִF! ]ŗXiɟ-6±Tdr-&'TQW o3̡uBzWFcեX7!zlQ{f}l,8o2S |8Η+}LH;;nɬr7wUS9g~&#=Z( -Yl-xˆ̴lK7u",52L#k6|Uƕ_'[^a8V}"rT;z%y6Ԁ!yoJ.iޚQ|Dhnt\kQ9R8 R3Mnu^MbNjV4I /N윭_[H,/ MȵIEdtd#I۬Pį| ,V5aȆ*0>N/ / W 0ʱgYZ7zXZִF! { ]ŗXi%G>{r4NW_3|X1vzAqx5jӜE+2ݖZLAIԼSb± \xRF ,)`Qt` a\\P'7!Zk{s=q|F<QNYȒN1O37 ~A^XHa TSL g gjSo'q{VPPr e$bBn5Cq/G{j=g M*`'WN#hiWlsO% y4fm(wnJKNJu.1!5AEYL+oJi$YskFN!3Sp XNz.c:8Z~'!Cx Ds9zF^`VJXI@{_b?J{^&Q ?+Yy1xP78ExhYyF=7<]XJ /5DLPQޙF>١"Mz0(־'7h &n nEY1)SX|ұ=Pjn29sA:!y\n͑_WEϗG0أmM/)F*%fCj{FsѭVv1o,Ht{_K(Zƚpow^_\&ӇǤ~JZmu'5msh t5@mWˍ%b)U MH7oW4{AeѨ; ֿElDRo_J&>O-7ND^`q3Q˵|' *ݶqr[ru>fgE`^k,}ڡ uf,Fi?t. j,~R>;v)J}_}LGMu Aٴ$|Y$B=̏k:msAAIڲKXqKk1iN}:Q.%&:@z$ !(c`Sc\, ؉BL+.֘ .g nRq} J,Llg|K5ld1n8bgU^rD:-ˏ\0*j@Rdv-QC& rJ,cD"rݑOM;v+dtօX7Ręǧ+ː<]2^u_YfwĪc בtS(03Xw0h;}=./L`K6| %X 0vx\=_\r:~^95-,Պ 12`.P*':~ GOG \(Pz >9l,3^21betW2CήdBT]bAZzMz5`=P=JR0gohJ:,¢$R<7<-=K|`W %^皑)׀:Ok_<@d4x }A3i"n‹p+@TGIUу*^A:D}3S gF >>PJ@۷b;X 19ޝeJHI/L82Pq=8=# nQt2 NBuލx j^{>(I0L2BD3Q |acnO\gp?6ʌ=:ٵ2_~|tJ7l%u_+M\)6b/BiJC40̬4]7RrѬaJn\ Ksw|irًYg}nH 4/Gi>Ts [F$2sĞgC*W0/Zu(7=\Ld:!`1N§@KWphTGAM)Յ s@fk;*_]9{?3~ީ_a QZVIk3˯ , 伄'k"CeFi.rT2@