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 v t ]/]HOL-Word:threads=2elapsed=26.145cpu=47.028gc=2.032factor=1.807zXZִF! .]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?zM HBxzS-Rklvffcp^c.Y]p1I C#KSцN'>ɀWG{B^84C)\tE/FX5Vz 0 5FjraHkB15lϲ+ tW7~Wz ߋy\"a~s()ivr|J]o &->[:$H6ղ> +R:Ҿ&-U:ۍW$BLO w<D@Tgt}HrHyCdC\-[͌bsYl5E&?nd͂Si8 0w|L-(j>)5& dMJ/ էIz:)LJKYN6O~l+W6 ` ?vž s4}@ :f&+1c.tUxfցm!bJf\+b-sL VX!z9JUtq_-.fRXR+N]2UJ|!2ֲ#&,|z+bUkY y'dza2߾ciٽrg'rCHvDh*[qgYZ7zXZִF! ?]ŗXiɟ1˦r8v@Wl"`&BaK[T~`R#;+IvR5zeF&DW8'+ޣ e3lyZzv2|{B*jSi5 j{* 9^p6|Dy-s.| bvi-}i) Z*6Cn2=S#px XjLeG hKt:Ff1M/!f?w& 4CXF)^'*Vrĸf3eS<mT!V/%i|(?Wu\tK.O~M{oܣ &gꮕ:#i; :[*HntC W*V\)yo^d!O!j)X\I޳JQNl=_mJ#JΞdPh"Á!yyn`[נn1*tP6|~EE;hj?'vv)v`ȆC^(*ia8-zݿݦ}pʬ1Uf > ~aBC/Jcv7azk>?hp9=8FU\'Ui @6t*R'͓WmsGRg5Qc̸rGV?2nƓE\Q x-!Y kmĎ1?X!) r;H`SwvX̘k)mM!2b?k<KzMKS)FRS"MyZnح}7Idec6` ʹ8gٜ&:.0A"PҵS4smzj0v_r,hܨ8zOk1 lE&/{f_7GQe" A?ϸT;Io\GV+vӑV =_4^g` ;3zhl[/V!/'wa)tNnqhoӯPw<:G1,aE# l;7H#46,w;4P(2F"}Gv@҆Y3Pw@mww gtUIeňx8rޏ"Z5 G|T(tBz#+ֿ>XTT҆dYڝU`y#[ 9O[܃_ &bN#{0/ A۲ڨe0ea_H)٪ -ӈJKӔ(zw$9ׄЏiKz3<.pHoev}ûqJh}Aݰ_Yu)'7NB(.c }n gP/$j㗋i 1M2RB˫ gESGF~] EuceOU:fW.t7+2RKiFL􂐃t1>w Ġ<(ƝA3WlvhЉP<~|bW)D8wI:\ id,[vi4l A,S$7(VFe?G-7XyeP*3-ƶGyS׋`ˤ_4Bjwmwl7\&$Z>&' p;I>sL^Lw".lzC!dFTPues4vlABό.nB`:POW)M$_ɐ*%ugF]-6+jb乵DBdF. AzUJ1fl%=N_/ϰk)ǯD h`>ZK76!?Y>zDӣ2!=wӍo<[Y +_)\e3o R4 oos3Rw):TV|6,QVΜ||?Izrуi%DdЪ3Y 7` JDdm/= ++kk~NJKL¯/Owy{& cbXkE8}0Y{)Wma0 *8b$;ǨJN26P~Z%g X< Iq47/:|KcCohԋļ:~ P{6k7ϩaN(V+U"F,%&+E6w*>7@xĴ'lGch\Oİp\~xgB]] K.tIi 5n ϳ9}Sodd Js6[V7h^T[=m›]e]& &}|WVs6H߂gIRj Rwv9bɁSm9-h,Dϟ_glgYZ78dc923c2944547b6e990a444c26d606593b91ce82ea62db878002abe1f561b243b2cfa9fc698016 3eb7c68d6e834ba5513637798ddd089d7ebc1253a43d9c25faeb4d4677ee9a38471cf9afbfaea41f   HOL-Word