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 !-, T ]S Regular_Algebras:threads=2elapsed=89.189cpu=133.400gc=4.344factor=1.507zXZִF! kN]ŗXf1-/6vR[O CК#WI<~#xd2 uzjt;@T.#+u݊_p#ԡA! 'Bx7ŕ8ޤП8>"B8}ң:xܻ؟H9u)C "N s@ J7[dnӮxKcS>'l7\dxC_Qd#.?ǖTڻ.``D1VWoEZ5mzL`}:9mH##'96k:3[T,[$pip7c2 {!j/ {*:?&L)D+]FOd,akʶQ˷#0:))g0Ǎo|arc>^Y0.hfoϛ^/$4ؤ"FowH/͚W`f긔f?kg_xxy5mzp0{I۽v@Kcd{;DkZiP.!6cV{E{s YcuR.@~ nR|8$ /⍾¦ԬXFCpP`3.FE_'TуDc;A9fiQ֊,SjX!wӑZzMћ ޝS?Jw l,MkB`oRBLRɵd}AKz r:BC${݁rk(J߼KLf5iHojK*4n6ġ1n槱v?R*1\<Ba\Q0`88u*,u%J䩸]=BD Dz\|`grE)+:I2U0R7Vwk8Z^) <#Cr b4ґM1Z]T3i ']V*Vƣ 2-^r`U QYxH ! 5\`oHcԦHiv"&f#_?!.gЇ2X ꗒ;1b};fH LCGODP$)̱ SXq-h, O׷ x}F'@|z:GusvrЇ" 3f4l%S- CLPYO~6zK4sC)s) EW**wE%ZW2G,cj>(Zrx Pfym#[ylVpIKR ‚MJvz #絿jj6Ag4AO/͸wEOH5vbBr҈M8~@6Y9'U≽լuvaX&1pR@T9pnOHsgYZ7zXZִF! ]ŗXiɟi&w<6:N ^܉Χu4E p&R+8Wlzyͩ - Regular_Algebras"gyrp; 6BCuUf !tг$uʰ\DKN'd ٨Yt'tVгPN6ۏt3値PY_lćjHS3+(\b$({h- Zx!k#zu 2 Lkif]ϩB횶5\:|؏lU)8sK**TQRH&$+D#>Mhz!^C}rU6k.5<շ~9? 3w?85C&Cuh3ײZtkQaőqKltw~/|2H~VMja2^WBKT9{OdޒeK)>sB*\{Npv#C3|X< n}s|'mB58="/!azcA($8t6yCy VGM7HRg  =0rf 4 P3](j3Dž jk{3/S|6Ei[ 6ښDAP^(.<X5F bbϟȟVT k0XcJ8%N]PV<'=Vȍ QK8lg"U._3!Sg69B3I=\ys;±trB۳#85{!?4B+v ־gZXbIpY6|t;KhDpcDSyn_\&$ΜQ)f=tl]Gh}=p:^8-.BcHմ=O E*xDBPWF9X{awF-oNk1:cM=H _@٦ 2Z4>5LH|X1ȟث߇ed/Ճ 2=I{NA*eT: [q)%CՊs~.y #K 8oEÊckA=}7"P|jvjuFw~ET &ILpUOԿLRC<S-izH6؈jnWw'2^Lvd}!ja En2D߳ VvFw}-Qbŀ+ݫyq'{#-/1N!Vܹ0="#Ҽ{LyfFy+U! UP*G)aXJ3~t>UHfxp&QJσ2;*0{/ԁ 2JDtݒ0vF ޺٠Lk,|ѹǼB1vZ wgs69tK- rF \MhGR&O>'¨xbŌrHǾbn.UOWz벁D4\m}˦>n-bMQ͗]6gIG,T~zB c/̨ 7A9#]5i) yfҩm_ȃX O[VloS:.eNT-,- Z>uO(#zԈ'2ng1!#)?c:m&ώJ_|m՟g $DUR"۷)NKylmy:暥Hu`ӗKc\,d@r=^K%(y[m-t Q*ׯ|{2 [ H7X,Q`uqJަ195vQ2):w2h;pyaoޙ#D1[UHAep(C]-'9َL v>`KluUy}`V=?畆 9f'"Iq{kG}V➵zS74 Zf25 h)vYLzHK*۸X6^N=؀lC,4;EY}>Z6RIdGܪTߊ "[NRäj`_reB0%xr3)/*f|Guv3O*MN?p=V[;MB~BΟ8A̳6^X_Ϡ2WU ׫>*`T y^W1bշJ)긣_uM(\6=(˔/MTh .},ԨCKS9*SF( 8Km~pְsI59opzCDIa^w,X=%/8iKfgsDJ8ݑp V!;"mAZ$Fz:*:+וtUj#ncHOӉ R0tu;|e]1}Pbs+dSJՍ2SL +NLMyhu?) `L1 lDS%6ȡ&@κWzLR $v Fڒk|C&.'GT.&uQ:z3NDMJo5TB:zi!FTV~]it"fɆ)z,;[>