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 ?v9b M=B gM0#+\F#~U<a+V0-z| MBr3`E8֦ϱ9\f'5l*L^j Eİs PPRS{8?|b^*͔u}oN|:m!L>uۈDTg Hs:*hNSak䉶%% 3C/=ň'aQG{cxğaby؏*׭A8Kn_7Uf֐‚n75a͠ xԭOs'`\!|c4;CzE1|1庙]lͻnUlH/ePYn5ܩ[ԝh$ &dNCyGUc<AbBugݱM5G|)QQdP>{3!t zvNկmvu7yJs{ WPӆWݽ%Y\HHcJN 们KzX(L/ !v~l7~l)h:Pвh{ʰ4b9(l9bN( r`h0ĐivSLO}}ղ+d?qA]4 St<|E>[䉋kp] B\^D1p:3u#YW_IozǸmscO,}dvU&W=e xFKZbcU!|7*ej(fAJw -p( ۥ"X;4աwRسzwU)М]ΰ^k&sϺb5sE(6]g! y ̱gYZ7zXZִF! `]ŗXiɟX/ZbƵ9p 嬨CىC},+}~t`Tw-m,'uwɕɊ J po=uzr' oeVxutW/(/b6%(PXx)1ih6PIL֘֗Y4,9~14MD0)3$!bib 8l9dn!2^F#gdT0l}֨˾8 J$Яm;z%yI6"o3ƉǞC<~\7 $b+>m?7xyڈ߭-^k"l.0En ϊ&GODQD+ ^+S 9+ce8bk)M\0 BXj(@]0ؓ1@[g=!֚XNsM1W%khp'&MEa%0`x-|HEM%%k>/]Bnt_ SL.NX&4\F`3>&1oytN^TW3lLUc9=);ZFI!OE]Awtsfz@ ۵%tv÷*i WAѬR#k`Dso,y!RArܙOD/q3#AfLs) {%RiW Ӟ ޖ->Lt`#c7~+K0OijgԢ R%FL%Vň1H{I8] U=W|uEvSoƮy'=KX"OՅkCr'q[)#4gnR @a`vD;BῠX{E-+ ox>W|Fp'3NC!\ 3Q,L}*=r}Wԏh1Km|4Xe#Ky-7x% o~ЮeWSyQDr.tL;.hr VyQAd鷐  cC \F3 4>5.Ȫ: /‘<.uȁ>w51@\ ۈ4Hp&]~he"3"X;:%aȉ"ypAR^Þt[D"o0Jw]Ϲ%Q>t,U?ROZC l|dpGV " ZNq #9X]e!Lt `~ r?.DwQvlz|&iʖ.R'e捿vM8Sl20d1\0~y};],a85PxdРdXMiiVh5f>09JX_Kb b4P0ђ~Ow{6Vݮ/9vkt/-\&?`N!\!vm]-Bk";i{ ~ ZQ ș9vl>/ARxn 'Nĵ ][d=_z0E5FaOo Dm|ٹ:`4*:I~Ҍ[0x/ca)(63>Dxj -h#V6@c*;3/e$u̜,Zbxln=uiF KR7^]=zzyފ3PCp{ص*)3ourA<5u^ʦټM^d[b@,2-~7jme#l(N1\~$_͸ڮo7nػ!i70:1 q\O˵ ~\(Cymj_Zu\T nB؎%2a;s۫>8qsB吁ĕj-=DehJٔjȳ 5~]1]Fp]AңKR\۶w  \+ק28zV#UOm?iI، GdnCHv+*߭N;RPӿh_;Ѻ|q` KY(N j! H%gy^j|spk8@|+O$sy5AVcƯv`4(l%I{aRE41JkCT)!& m wxll^k: V>Zyɶ5Mۋcsehl3s6n G eD HhAx ^Ld`W ]gYZcabf7d2ca00e6fa00e77bfeda6e7ea92b8fbcc02d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 2b11f4ccb587528b98467ed17165aa165adff39b