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  ? ?6L\ ]S HOL-UNITY:threads=6elapsed=22.218cpu=113.580gc=8.872factor=5.117zXZִF! 7]]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yx҆c9 B90*ݧmZ4{ 8,9*'@Lr#woѢDT"1uDZuշ2 /j" #dbX']-: %%[a}hNSYo4Ȕq_JOES<=rH% Np5Q5EnyJX:a#{7=q(:8TVu̼ќfaHCrehz8.Z0 *tPŦNޜbͺwdZ;-owС0~Ȁy\[dQ<Nl0)c>{^ >2=$PGvym$,^=q+Pnƴ h+PcےÃ5 '9W.sa6m8E3ßP^Ԧ$Pw8(.e~wRVBmB~Y-P b;\Ņ<@.li*L]XBjb nRaHp|\1m|l}5P[Xi錰#].u7a f+CJfM߼Y2c:fDLj.E[HxAf&]+RwqL7APڼ9>]' W[,pg]X:Vn.E*_m&EA\t7ښ+cTaP H e k ]@eV;t6[ERfۘLʿK4sj   HOL-UNITY  ]b&;O&s|d '0O}XlH(ەRGSJBBXrI`!|ń9Ns`P|, f"3~\ I}=a?tyՄj"ŒKD/6FVTgmԥ/C]gk(ֆ!ߌ) K@*2quE1}gUKҼ{ oWkgYZ7zXZִF! ;]ŗXiɟ1'x^܎KS:Hh49B̯Tx5F]|Oz"oM"9@b.S"Ϙzp+O[+^N?첵z oIh5Vw{Th/Ѻ$2:8j/gW- U 黛E޵>$/"ubZT:>3d"Bd6<AcwHҺ_&IV܋8@x7`D9;Sql-țyXT3aðD/=3lmϷ{R_:Gڭ/7#4y54\bܬKV1E*3|K] u(hČ̊@hw^?iN& F,{0P|{vJ bҗ!55+*/dž2V Ug f&0PєcOߧhXǶ\"==V4#\v#P^h&)hI sjf0'huN4sZGAGXFC_[D?1 PFZYRk;k齾%ÖO/J1i !ۘSېS07}3%N~oHޗ_Eb j2B #?8?TGX{D<&H [eB|2@ZY[+?TC; VoKZ/. < B~ՎN*WQȲn(:"<(V:a~xZ?[ VɚEa0Ɠy4qL`r}U\Y5ZQl&P 'ي'0`fs$@3u:78cf-Ҍ2TXlrt:_KH;c~;7z_?Ϸ _Q9TkQD|J|r6Jgwj ^oV ă^N'g$1!:&6Q#fc.a\࣑z.n+:sA rGe# 4Je~X>RÖ VgU :8I=U1%WXXLB(h-nć3 QM-J i)*OݛIC\ G}o/_.Mlؿ`zؖA G90DpwlFlÊ0p/3` h) ho[zI'F/8/%c)iB"OG!`<~2;+_.A Js`MP\WcSR7e=`_LCY !Z{[a~Ug$Tcf#_XrGg}]#2e1oyųcWff /R謊a;Pt7(߀lPY;<ןMסQp#>k`[E'EGz>_zli/5r~d%3=U?hbKJF '[צ{JShih98>y~E{Cjjeܨc}',0ojv+ &l^?){)&ۂc^- sy*;imO] RBߑ.[@-YATR(RKQg9}fFfe"U}Q$zc]43M47u%!鮮[^2M/ۛA'8.ϓ[]BSp/y9rK%vs|Tl+|3K~~5v% RbھMKhx yqy?0:mb7.N̸=Ef!I7*Cc|