SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info )1 \D ! Separation_Algebra:threads=2elapsed=17.140cpu=32.696gc=1.568factor=1.917zXZִF! d]ŗXf1-/6vR[]]uRlindBkTi #s1iNcՅF#^ɤ; uwRߨ_ߘHJ3CL&o fF"6)垚.{cy+ Ëvk"-گe T  :5s)e,,鸃*' &$OVl֞E6ҵS`7;S XM+x(47poB:EnJY(RQמhNs}Xݽĭc6aHiC^|qwlѻżV]c.8F]Gi'j~ +Le}L<(t|R@?P˹Iv)%W^,mN Sbf1@9NX2_P[8:wD"J“#w;x{jFVU[UwF QRb@&Qyub,\SR3nnzv5ۯJֺ%bۃ uPHDedY,Y'߬$8w;F \ԑ :ˉZF߼ U؉GyXj#W6? %qVSXPem'vW`Ԇ',dB@C1x\|}˩!0ۗveE_j<<yabV6G__o=7}H #ʋ3]#k[o1% Q k@ t'0BF|+vjo%ey ׻m")(G]ZԬH7M!~k T(c0UԚB {E*&&'DRȊxwRG>:m3.+L2d&< )%?ƴ߮L`D`q!o =3c>j3UeCИFob`'\} ͓Ҏq $aF rϖInlՈSj5jK!Ye t?ȿ`i2r`;=LU+PEC/MJ3&LjBٶhɥN4?iB]ɯj;eU sT[ "ɄIo$=Djݡl\Mo%/%Kߔ‚08Lw͙P(mg}~8`=l&|ph9J&틈Nj%y!GF)Bef,j0yR5H{K`[4ŜrV7TA!<\ saSDmPS^6D$*FGlڡZ#hBdnţ*譽# czG9V$]=Y[Ɇ3#?|8j; WF1WH H6T{&!鿒z:M33iSRg8+Ϝb0O`( &Z@7'į$CUӤHm '$wNM%/נF1] Ŷ'KI^ĎgYZ7zXZִF! []ŗXi%:2C:IL 4~13Nc6[O-U90X?G8 !sjydW!?ƠvdGPQ>]:d{˦UҪ,ъBrsr5[;󑀫&,Lg~_!{F[ެ/Ah bAJaDOQlk zQQ2FpPln-/CY ]Iނ:ˑ b9e;#3quYQb Zt!QgclRvdM6eM(wϝ]-fa5N̏XnKR-m569Rd|Ct $_t5-0 cN5uCO+Ljt{o! "z1D~5aYIiU*Rk@, REC|J܃o-n` PbǗO7a@bSD"jIֳnI@LA.):hUrKCMw WС4Dnw9"1^y ht͞HL۲dc *DP @|:IZRhBsk|%ͮ,I1}/6h QU(K0B@ ·upÄx RD-WRm$wgT,m~jY/ _~:θ:+?;xW|ud/uBik>σ NF>hr\ss򄺠YJ*؅s'o~p^&zݟߍhDlyr¢z_PrZ2wEnQɲ Y_>.m.%gaqwCu麂%f_0@۲Ʋ>Ny-zz.AdAG'5K Ap%}*ƣ_;/ :Q ѶRk+O79#/1`$ yRT 3l7)C1mO&