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  ; ;:|L ]S HOL-UNITY:threads=6elapsed=22.709cpu=114.848gc=9.244factor=5.067zXZִF! 9x]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: YxF{=p]DEsqBaT۟Jh&JtP޸Q-U%hr/k0LyoK8 bOr8!~St+(d\4]cB]iO߿ĢZy= k=霭r=xĵ/Ǝ zXE,~?:W`nQ. pn f;ofᮑM|:?Qxٍ)* 3IW63ӟSB `^7rkʦv{YLn7ځ߿me?@Fw\5yYО큤ڨD=W w˦rm4xwT|}0A;mw< zwГ=qٌ͟CELh)Jf=Y56% O_D#4mXlxFb&,75DZ]oVNBx<䝇\V^](7\ã޲Z!Mg zN5򼍍=J;1( aTԡeaĩӕ*zJ_]=MpgerۦN[ CL>AC#2p]ݺRw" : ᧹f94Zʩ=R ,(y@$'9*]$8wj",PZcULj?tό/Xۤi(M 6LܡÆ81Jo+bP8~sr{u6>hr^T1O3b .6'-   HOL-UNITY  }> RyF au{Qx@BRQ, ͌@+mniG|%I%?Rr f\>gb0ȕs_,"}@Nn˴KUg9%8t3,x± v)L X%+Pw}L<{^[43 kڂ+Or6@б"'Ǝ!`Y,+ 4+^7,\Ej;1898G0o}`R$7?d@y &Zn6xTNvLp-i}} >ťFЃBF͜N޻cϕL6mDP> 0{v7O>c؄Τ|gRNxҨ,:CzKl ]2vVpPhc9(yO"~H؛_'R]ѐL- Hyi-TǿL;諫f.Ѡq-phӪ%d?gr)C>hCA[mVg ]l>߉L6 , s{[qgYZ7zXZִF! ;{]ŗXiɟ1'xuaa쨔?fV(|o30*n=hm3y9nq`U֟`"|01+~Oۋ٧à/}y*D7'Pd1;q HKKƺ\|N+7w'FBVlC`st@37MXHHIsq|ɘh*4-eOWGz:7%EE& "y zx8>:8X*ٙBqnc{&P(.+w75vTK"MKX̀{^ A_я2b 'OF"Uđ hyANqZfx/W{IŒP)ۃ&27Rcrp J(ps>0kjut36FXտ瘨=^Nq彄i4ȩWqϺ-B۶bV4$ ɕRPjd89e $v\ :r׷vLpT42+Λc僓e4"8it?2u*khe< V }{/I$3^`gӯ=q?qso 'k?$jIZUvyW5j}=.dn.}T^QF+MGM5Η 7ܞ䥰s/{{>,"rN_l&-F?F8]atgltai l3V]LPb%81Mػ!Tch.-VJ 1M^6{ylb3o!ѕ҈~5;Ұlel;: &L<TΊF-Q6#')%ԉ )NjKXc9\^p~+^{^ ўEf&C9]Ilߕh[:EVt1CÝ.fXؒ0 9d%$Yl ٱgIjZ1S7&ԭ2G 5ndr4}H6_+Žmc13275iҌBZǮ"]s%\m8SAjmgE֟lrf^4^sэu|k";蓙t"7eczyb(j Z2nFd/= \>3q^5&`}R7= !E 0Cmp}73k$.lȱ Ok?!Iѷ|UkR7kAߚJcJ+GRyo^kܫ[?af7U}-cDq vim~ls퓿apB5GU$wl [=껙)\ʇC5.T~T9C