SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ""S-l< S Regular_Algebras:threads=2elapsed=93.876cpu=137.728gc=3.832factor=1.477zXZִF! s]ŗXf1-/6vR[O CК#WI<~#xd2 uzjt;@T.#+uo#ԴZ ,-G] YT( y`~|7?I|Xt^I˲vJdH GA,bY3°_2-_hK# l[?M ;@.U׼v{03i%.+S(9­P zooZGA0vLO(h:-m))ÙvlI3SԶ"#>X؞V3S Qw&@1GȨHD}dY`EOXM540v}^d*+uew vS P4'ѷm 0 w^B(d \ Ii=Y!:Eh NU-ׯqyȽ}HbIv0+Gbee~A* Q{8j="kcl`誂oӵHrgQ-`%Uq{R_GH U ,*cR<.&mmdu<)b֙$,CڳӊLy=^KIc0&2heұ >~02H6+H@ف_J[=IM=BqZip{L[H³{N=J8Yz^KGgw^8jʉSںd %~5mkU1nhS' k/"Rh3n&ѿNJ(]i BՎ0dQ5/0@o F٬&|::D"ި} \)QIwZV&?? Of'V\5iLS01g`;e%:7JቹR T!6.60(ҋà $>PҍBjE*7k *%#fkκ/`Vj yM3fM2L fHyjV>Eӷ̬3 x:HZyw[fX!gEW`7J`*܂lZ[Ӯax A]9qk>>'n_r j ̳o.w\:XF*n67@N)wYH/kg WNO g4yRf55w? H4^x@Nzvt%%./-%da5xEWX+w`8;Myso E9vMr=[GHURK؅|2 |з3FZR:F6N4I-,hٞTsj$?Xb@!Bq46֓>HZ%j*b,d۸-2`87 _3@ nt;khA:00rjr~ tKձ {rPCÏGZm+#Ek-%$ç{ wd]}4%3NO%ugYZ7zXZִF! ὡ]ŗXi%6˻fa [s[HyMUffЌ|e17uӒc>miwM$DnTe>d[{0M씥2^:! )QX=03$T&tCȖq駼e gk7 *8 Q@œ}.?-0"f9ܸ/ E?5Sj4ơ72yeSsu2#I}B箜MT%"=&/k,/WI\i|1+e.B1 ]]&o+4HQ=Q?MGD39uSnҢi m,rWm#72lK7u# 3 & Z$y ZP)d{MA=>tiL9GT+07#704-{%n'>^DB+xCPl$7Z&˫m,Xn ڝn͝/C${`@8;"|grC[3=Eڣ"d~/:ܒuB=Yqvʴ{L. %[ dʛ{D}1F|eX0i城 - Regular_AlgebrasDkPȵ3߁"͊&y_|؞n 6i^d؃fzU)x4̭;vNxՌ%i$_^r OwGO% z3ځneBp~ {m ]́sv)E?-Y_m(%^m0E/}2>U bq}<(ӬGB>,+=y}1LsGDv\;Z %|,aP8dQLvy E$Q]zWDr=3 Rk[ޝ :jUט"eG[ppBx H4)f*\#*Y$@5CyFIy}ycr4 `p_9V|x_zX~bN^L;H,AWH'J~8 - XFãɢb |D#(KCjg'AEQB~;@&%Ϭυ1"/[gEJDDсp&0~ꌁ,݉RE/D+[F.7Q2{0 N:C4X?2#ߜD'<A/BGO H0Vަ{ 4u_:,n %71_~^ϧ5vmnw p!M-,c&2#sc&hxɛ{rL=[]b{i@vl,WGTD%|fVTYЖ+9Ɋg^ #T6DM@>]EC$?^iO1i'^U K2yG#8pǰ0af鿊鿊ﯲ*FS"N[^O( XV2 DZ . Ifb)._}^iw s]5V?#pzNCjѿl@0[yدRy/{iڴ&?Y8n>򼨛62 O7ʿ]s1d@ /!g4qUI8X37$_s[< j#,R_̐}mմ3"s~r a8\PRﺣk &KIzM cVN H /ʂVR \ aOtU oQd7{dd>x[!DjC I頛0!,|SAJ QTP:\[t163ht? G 퇤iCeM.8cDdこeHeL,b* ED]c^E&wsڔja-iz$Atw-DE^)bءwS]p_d)>i0; kG=;auXM.Ȁ`#=]6 %I N?SC_0˓*`ȃ%], :1$dC (=/Ó DpQA3ˋ-ӫ|E+u4pQ$dS-8vTpK ̣Wh&R+Vs$χy1pq5 cWO0랤Ҡn=.$"#\"j0 &A\I!O]PT o\RB3ӐB}HC^A{?jWNA禃&p(ŬEPbe1SE$ 51ư`΃[C&S{7 ^b^UM`]5Pɐ1Ѱ}D>tL389MdZ=0in=xj)veQ廕ZvNʚ2_=HfYB*͵_/bi=,O-l…SU6u(i`R ]/m_2~~ٴ$I|og{ףc(Lʩ5%^4?pNѯ&mWEdB5z`* CVU5VsTw?Cx@ _1C[U9Nl:.d|iag`/=KФyU{lW<P>h),%]-=Ѻ`@[ݝg,lry\fAAU`53;MP.S팤`_$W|ׂ«G.8R&R'}~g5YT cj 촱4H9oUx3ؚnYwY/?7x"tq(y>weVұgYZ0a03e00ad4df5b7dbd15987e970611e100518a26 1a78e09dbb611effad0c92e74637447d2269b243 45fb06e5b1e8eea6938c50216d95272d8449869b 5881d1ef6a29e4f7ff951f8256e38b9d003aff08 5f341fe29f2513dded5da2143a5dc775d29ae3e2 af74e84e7a3d7b7177a26ffa0b1cff8d8169253f be4fb7bd36314335f0782c56363e4df6e2fce878 ed3061ffd8806f34d8afe98848b2a964c811b34e554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 1fe86f871095b19d2c4bffa1d8b42aa984545607 a386d9274c4a28b153ad82b9819b86d6895408eb