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  f fG T ]/ Modular_Assembly_Kit_Security:threads=2elapsed=36.432cpu=68.112gc=2.380factor=1.877zXZִF! Ac]ŗXf1-/6vR[; IXڷї:K)gFDFBŪ`|n<אD2Jfу,JӜwژjM_<%#}f7.,z!Qkz cVMKJC./Ös9݃Ћa pӓ&rru_mch^V]zi`[QJtX<8"h"fy|nL\W [Z˞ DI`tC7 zgF]5YiP4]XC%cu3 ጞ˶u/*Bm)1iX}WN-\& /Sǎ*n0Qn*o;._JC/K.-'M&I.m$ɓY5^ap:3 HԜzԲ鸄$ ]z`q" nm"   G Modular_Assembly_Kit_Security  ̚5=gmY"Jǖ?frMi76/V,A'Hl!MΈ^ +mtK˚(2,[,:p7OFIn,g& p,/<{ X0g5KZyʩ'_U6PQߺ<tWXܨ\1H6 !`v!RT"{*bR0饜yE]ub{Q2  0c\ӭD66_k E,8%LMOeo"33ߊ;H헹6a]hUA܄biz_6;Tk4Pz$8OVE!4҉jRU8N|=Jziz&$$" Vl$1ϞZH%NJkz:_d6fV*]jgpG8}<XsR4k' @eF5oRAYXi_@]ѢPr+&/w#$=([ᜀ]fZգGB|5}v :xP+yr 9ڂB'EK3#THK#KtYca _Y 7RT&ei"u>~eSABUG '\gYZ7zXZִF! ]ŗXiɟ-6±Tdr-&'TQW o3Q{{Cͦ@-H\|]yY"ցPRwāaYAe&l2WlsE>|&[ә+*t^2볍{2){阳j+r{ٯFX6[4lN:'PSlZ=zckV .hz{]/+)2a HyɡW)Vq#b[iS}:S|Q+/^~=al}~{+!K"SN,=fע~|<lԮnr_/9mߕH&QAʞ$lY&F1POp2`p*=2CϓyBz&y]Ù^Z\;s\x 1r1@W5m^1ae1NNI@d0#K%ȵ"T9_z8AFiGZS/y6Oa~ZmQ|G$H:ʅǗ3 KDuqRe Нc JtDzn U5fQIDLjcunR"o*1:>zfu/T^1tA@J{$5",&R`TYV 摻o݆7V=Q ]P}J,-̬ڇp@m{7YzF]+rB qaij? ưRPPrBb(%45Ԑ7e62IjoE p+Gh/Ў i[,-m\l2:/0spɗo`)5F1~:7|# ܨka[Nbszg/չ,xDdg9s:8/Ki v `fF3'ߢ8{gE6+M :Y6TnJY5ߚn\ pۿ~@G@ wō pcʁMl't[<6;N|BIȯCF~[Qo1 #_20դ,m)^œtJ;2q~[_3Ti)9Oٖj[lxIPZz}t<vw]>-%#J'D_>/˼b Sän"շ-96e(sE[OHH9Ґ$O#юc!?]֊4$W/^wpvN{k< YK&)T-FXXڳ-a7WkhD0*X¸PIמzLI@lΈh_o cCP"ҕo{-?e%pԳJFm '3sFP3pٷœ) `lBTOĒ}֢/ӘҺ-]*["BoHWZ;Ǥ, vbKIRa!c_ sxX? [ ]*o!AξJe<2+,]Y5xV^pC0Nطו/;HWvmiW@ *74Ҷrʦ.so?[ȌV8+ϑkJSaI%Beý &q/]*#TLn |iwʰ/Ol;P࿞"\f֔ΈC\"S3z*7x})-^6*~.8Y4`#Fk)Sax!>D:45Xvf㛠ZEpaܝx|>ɴ1T:RtI*(PQ+eYGπ惱g~7,GRǝFɟ%`b$iѬ_X:据>ޫRUrQN Ϗc[ZxLM2^!ಲgQp02mN`"~PrOSwhZyr:[$CpT$Nc"܋ K&WgYZcaafaab559047c69344d05efd79c406d0d71891fd14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad