SQLite format 3@ . BBh77otableisabelle_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 $$Q-|l ]S Regular_Algebras:threads=2elapsed=92.331cpu=136.672gc=4.284factor=1.487zXZִF! kiv]ŗXf1-/6vR[O CК#WI<~#xd2 uzjt;@T.#+u݊_p#ԡA! 'BxD8ޤП8j9kT>u*Q00șfp d¹zr!A "K82$9deS4k%,ww2p1rUhܛ1M3"5yt7ћWI[=o*7!<=6 ߤ{NŢTYjA)(O6ܣ ?5Idd+Ktm\jËZ0ڎ6%̠<5+ǺCfO5La+tg ;nr@vW; ɷ@ٳ/A3%-v8gYZ7zXZִF! ]ŗXiɟi&w<6:N ^܉ΧuyQ##U{W);!b))W{"YV6C 9)aK3& ӽtS]5/ ߨB.f=6ޙ N,z,ϊѧ.mhzD>YF9 BÍCgYZ7zXZִF! Ὦ]ŗXi%W~jL]?~`,jONbNe3?!vg5WzΌ@**}W bO5-H J)ҭj58[F_#ٟF J3h4TcLKIN t!9$7A's.=C'ע@𝱌xh^xsrz: pby݉n:F30G6 wX`sPU'M|F!8  ؝k Qҟ =al=;'L |E-]}3<6]W>>kWe@ p!lRWw  +s+*bg}|}%VYR\~uxqu^~n$[#qX߻}| Go8{(k7$AQWh(Peʑ P]eUtXocأJKp#B={TLnLNU_(Zd;6/! [W'4\7yG(T"mh.Q3M_h{۵ y{SI|P}YU+d9")2P50f v>j<. p4ځOpHpNvA{lssGrj;S{ Fy KEeܥ0E3x3uF2aUHʐqu.y|3z^2%-m"+B){s#-Z@W4fUǎZ ׍!RN*\^ 5TiH+{)RxRKgח)qb \{ 5R. ?_/>(V\7~tF[j/ui!ar - Regular_Algebras)hlH0GqG'uؾ@.hk%HhyLyKhc0P}T$S_Xj)"ۉ.kÐ8;x26oƸԨ %ê #A l{)3Bj55"ߤrꚫSV*nÉC'6;`j#]t~9XmJUlCǧ\8B5q/zȂV3j kϒutǚ?"Hv%5g ) LDA+i Ȩvc)rxKYp-(:Xaj:DžyRI,G5b4/8aIt);M3, A<ዉ2Ug/ᆭ歹_vnܩ| }X5j0t|+y j<'=F-ȖO-aD st#Jw7hA /7fz!kZSZɓMy8/~6+s5.% m dZZv-1{zg+F\)GnrEkMJvyGme@X'C`j=5'A24̓ )^ Ex9hcRd[*unygN@1=P4ӱqdCpeP)AmwcmaRCwkLsƳ;  (Ϡn+XЍ<>Pa8Oz*D^~kxn8#f@Bs|zhHJ߼?SoRaMX&YoajP"o 1o &w[^1/YBZyGpBxt>N^Un.I<Ъa%74z ]"E;ыmEm:u;1 ѕ.Q^.Ȳ!];C̗3MgVa vdz ̯ZGjυlÎoZXLjLV(mp;3Bkl* e9 `az`. [BO;|<I' R\[8zLۙ{-ZuPR.F;p'+ 2/D` c(.}%. h#FH PL +J`J='ooX'̝-.b'!Vn2Gy\jX%AyGA̓>tޏ?&P^?{Pds&ET(F:f1ޤ۳jnۇ}9q=dl=kZ<1NfRLޅ[Z*$Po=^}]bvggY-k̵|R& `{^,ILcz{E2m vf3 mX)z)W [#,#E=5(%@|4UR8|WU[(Wm$[I IiJEŴd߇W B.O 5$PK"2>^Eu>v©e!k< )Ax#58wFQgA3{bB`($] \㥨/!6*5{=5 +j t#(S-yN̘~ӓ]/\bXxBJPYU1rs@ާ%QE