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  G ll ]/ Modular_Assembly_Kit_Security:threads=4elapsed=23.712cpu=77.912gc=2.500factor=3.297zXZִF! F#]ŗXf[&M^Ɏ`:U!$,>m.63M~V&*[c<$(}a s,ߓƤKMlf=Fbw0N5Zp@KN`}]OjFɞ ’ Q& 0,77Ŷ]z>} G~zࢆ.Z[Y biXpE߽D J4 B(T ](3 aS,fΓi&͹p?Z{ڍ}38X.w4+T ~]%+76LE8MbCR֗_ @k;kZEDEhρy'fKv)h#(|X9%~ctmt(Fe+g:g{cImm„)mTy?gU7q)/oz!!3䗧? u 74\XvɳWqSv:<݅? MuZťn@VoA2K$cLr8y1eW8yըzX C% W`.-nF*x*n'u&_uӔ=J X`r-SdNV~{*iG+DiZ8`v䋺3 Q95a-U)4sEIK뻍\}_&5G"U7㽖%HCyȚJ(x`J! 2>S U2F,IL&6~o cdN`x T\, %gYZ7zXZִF! ]ŗXiɟ-6±Tdr-&'TQW o35C-tv{/o#܁ Bihdl8JI<_yO =xHX|xWjaܪ00U~9&8jvQB9YZP]e y Zn{!LӹPKe1I!5DGp@eH7`!&2X`z6f_L:CE*MEa4/}szF:_OM7v$`/a3r]%dH˦r'p&ACg;\k3uǕު*܁ɚgT|[ #:v Rz-Tm]i9%["Q٨SD< c&gYZ7zXZִF! n ]ŗXi%I oĥg?HҵSR^`eEi/בE:8M~ߐ["~Ɔ ORjΣښGd" U͑gIN>@q?nPƌ][Bf4MǛKQ3: JcBy5q xw)Gz9$0oLcwTĘuy7N{)[__1,Tou%H)׃y9 ,FP5PKC4tɍz% -̍w^Z/Jdi,ֆ-L!=ȍР;'۱P.F<8tT>_jt}+0I:Qq3Ak-"h_v:շ ɐI!Z뱵o=4Y[ P˵qTr4\QҖN&Aզ$p)$|{3cOxWUvTm{ԔQucO[AU kB0_=o69VɑI@&ȵ_0*7>CoBC&2pJ<ՅT1&$!Li@yeU $Z4N?uB`Oj7"р(#5?݈ö0_9ˆZ׈I\5)P~8tPN(4 z_).cwܬc<_2i]kia vRh9cزƆb(c;p%9ʨ sfҹ#J{HIWsl n86*sX_$~ܾ)-[;gKKgWq. pKs@41Tymw`LYi6q:NJMq0?m*Rp6iTTص CPH.]izuf*̓'ѩj{Y-"Mְ@Բ4jUp]RmҎ:'hF$jۣ"|? ͥ˪-.cz̧.ԱbJ,B_S$ņPin AT0JpG+{lq|n 鱋%aԢA^baє)frZ<_}Ks",ΙEt -4R+/ǵlvqXsY֛Ŗa].a {&oIxĎIy0LH(+BGLz, Z~8G~r"O@ DVM(ZM\|)3K: JBJ{6Xb"8ƈ//j2v?r^HvOh8^2Tj<{ LV`u1rq~8d]"?ljELCa!< 웺 iwŴ%aAB{8*aC;r