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  =?l< ]]HOL-Computational_Algebra:threads=6elapsed=33.038cpu=119.540gc=5.712factor=3.627zXZִF! 5]n]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(C[ci@~(4K0~{l.wq iss"\p ~ =yNyFrدH } ç-F|_Փtt7P|w{="uߍO(!߆/DK#%6|%h`o.5Ն#,Wz)+7,%Nm$>q8A ,fPPYz6,!LgSA6œ:'9קUVc3႞Д<<g:0!X;'%4Ȧby]JnK ٜ {堎U=B(*lUMpI\ ~w(eG^/dF|:؉ 4}xXTp7 )6S[VDH$ X^bEWq1 i0w ? HOL-Computational_Algebra  _%nmjĂd夿n>Ҡ TPFU~_sǘeW!90'XWGCzۼp@D&jFE`j]E4æˁ6A-vo2]Ik9'jǕz~2R؍wtUJ3V(hl~3.]DR͹mh [AOT1 ů>(THV:+M'oq9vw륓3g8dך5L90.խwo^ZU}|Tj [=Y`UΞlY~Hods3J'gKF Ѻ-ᗉ)(&-vˆWjpqjaH6UJ||*̹D7# e\nf@9:"XP0;𢇔y&尴7yY]届^b##OPIOso4 ɪE_7J:bUD4w0|m9+w밓 S፦wh8V+?]r€Q7kү:M7+`&^J)MƍJoA!=Qo?}^亣2pU&AQU0rJ*>niͿـWlѱE X j.RegYZ7zXZִF! ]ŗXiɟ1;m<`:c=C."s.qrllo]"ԩ[0 B?;B{XD`APY=|lܐ9mwb&'Ɋx_@6Ԧz6 6]ʪH$h0h;Nt U}$Mn}Sik K@還{5K[wɎ7TG7k5BƶsH;P+h7 ܽJ˽uxWw=ex mkόȂv t̨m6XGظX:\AG㾸&'g5 3 LdVo_ZV@&6;'JuxV׷Zh7V^TՙkAIy؂!#!y?وw=n$(L7$9x̆]*"D̰ܵ!n=(_L ^5K5-?> hBYyYƻYL}k&-"<ɜw-ǺM]a lR65&LRR3֬Eveu)jUJ4fx.I4Wqԕx3Eyl9c w#b *G5DAͲɋUIq.*.ρ?<]Nj?ׁf*܇t'V /?0lDG/G!jqv!xV4 ܥr-%h@a+@Nl]j1ڱkεj"J#%Ag=郟 ` O p4 ; ^ö~]82UMw>|9[ٝPƕ1PިzƩqLNu2kTh+;iq=ڕR(_#$h?6a}K52mpX,uζJKClRg%B7 }`!t1DwqVv,rk nTQe!RWI`!dO.2RƠ9 wl.[y}SQ-ڼYu̓p4Eb6o)*Z,s 8MM}irZC,~24܆0XbjdxTkSVS @y.Z W?w+qWZ'vBuw.,qLo7@k $Ɨ ѦՓTh]U`|_p[?Mf-%}?sd1EK+n={k*=T?ɍ=yIS. )ڱΛȉF*F`כ|5seԷïkBqP0vV+^&lp}/dݟ.$Wݶ|@R#KVTZ+#Ǜqr5[5%?ZUcic.|CK/Q!Q  UF ԫkbL4=y%sR⊇] 'VhBd63hy{cT:oOo.|J|^neAm- {K >/dw]/;H!hqd>Q=@oL$ dR}r(Ӛ;E _6wJV^kho^2C"1s!,z`J~1J:_QP~cE{j;â-dh쭇SK41^˙Ex=3}p.m9u'bVgYZd56b892f9088f41aaf41e71758f9cd95b76907afac8f8db169a1aed7390bac47335c1f3fb99f78e5 b6cce1e1d33c0d17d7395f24a436b50911aaac97 85ce2e6de691a703d096ef69845c8f4f6540e35c4d84804b5f2244b10c966d63f8b812fc64a69fae