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 1 t L ] HOL-Imperative_HOL:threads=6elapsed=36.318cpu=68.888gc=2.304factor=1.907zXZִF! -r]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi{}>v&M򢢿jkݢďz8H!Ak|LDbpmd_GKNe揺WL,/.6ͺ(!GmT1>VRx'ē`'NMŅrqLzLqElъAav% )1UY|mme߉#b+U-AHӦ\ysw@RtūzJ5a PЅKG)mJ,C"DgWa`a1?횧$'JW>⒤ ŏ3cg-} ~s9uT|')*ZJK'li=]!ꈟ!12v>Tdr- ~=T0NbߐJTB/ UGĸ 0g!tŸ)% !mE5dG ,ƦйӰ`b/GeUCl2.ۏT_d6=iBhUXvB^@Tu;1ANwJF6Cn#o_̾=f;HO3#8۰Q^lqY>f9 S>mvyb sNRb@>b$ VC`t֤,\NLLnF "t9AR o6Y`;CUA#INBc&uJE3XS͛I/nsz?R;YUXXUXDTJ#@C~3_bͽGLdΟ,\sqaRzX"5dIu{ \gĮe&IOIMKO~0/g3U`ZMV0w*iB ZCgYZ7zXZִF! @]ŗXiɟ1nhЦx"n_8N]( eOtd;ñ6rYKUaL,q~ d$_|YE%ÈU(p}eO)MDW`UC.j \#,֞^D|˻b-^Lw.u{6CM % Z~EC>|Bo|2,tꬨOWD sHZ|Z5CvYW)TRa4ʚ,JIɵ :ہb[d)n̍Q7}5HcU6Y+2bQi ngYZ7zXZִF! *]ŗXi%> K=OGgDmiOo4-:7`P&:\ũoŋ)KWqHyYQ] y@%Mr&y8wnHܚI 4sme[D\h%9R%1-=Qь|aA; ;Fa!I 聀!Va*NCP~XOIj%ZO}'kT`4UpL8~B Kms/lA_v)?_[AL Ixs:j\1 ψi(yZI 9UfeФAWAX@d{ݹ h.K"UP" 6fj^bU/٦w5G{BpQ]r>;+ -* SPG_5/2>9}_H|0j/iApb+j|nox V,+^yF@d+M)ՒOtuH Ra  q%Hi2S}F MێovN1G|9x~ޟ͜8'*ZNsM'xH}rk.u'0پ-Hv}t<КGUpFvSntgЯ J TRUB<*PԵ?hړMDi{§֗MUiPJ;AGT3)!).WJڎ|WEשUt`(eO>Arv2Dа-W z{+7^y-ǣ[UZ']1ֵ:|D/Q1iR{d)P`*ZhqpZ?4]+V!6_uCȼe4 L/ +qNz5_PkUm0Vܓjk~9I5~aԁ BbģT itȷJ:sbY`{:d'Dy8Di"/+CyJc6<} m܊p# QCcNŤnYN 3~}51!Q20f7g;?Sul E5BtSܳIዣ%*i[BOtn,֫1Tp.N7ܗiKA{1 7z$+NQ8]2 ["U%S6/\UYs(˩63NyR4;]< rib7{dAm$!9NdpzHu~xNch9!r^aG mUAqpY2v DZ ZI)Xg@j(㞤_IX<:ahZV#';dH\[K4GA-@)Vy$.UzKtp{ "o.o(RYt@lr~O`֗XE;%x֒1 Jo-m%'YmoZcҟAAļc4nr>5h4:)0qB)j,qᵏueL _ѠߒLJ MTf>{b7)1(8eȊGT;d[Hj\Rs5ig۾[C{Y)z*BIG#p^ڌ!fq[G1 iv)4ap"2Z. :vN=fz\% }4Ѿ^`ԳCPKB%a&=RWB]7(f dzբxU{%`ky|ʽ5̒%۾$x`HϺSӿHxbE큝8Ws#e2/-u@o}ܝD0. { #2" 2lyPoRI?33(i9X=5..Luy  0C؇Em 8B*jC2?DFL~oR F/G.'Y ~ ݗ$U_Tyܕǯ} 5nXBU#78*lccxM&fk|F]W4