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 ' 4,d ] Myhill-Nerode:threads=2elapsed=36.143cpu=58.356gc=2.672factor=1.617zXZִF! l]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫff6 :ޯ4 ̶截=1{R ׀#jx|zn!J&XMO)~!ycf께I/d0ҦP B?jn?hwPn$>Ƚ){ʛ{%"Ek +7mx,jL 헯WdI!Y MVG~[T $z1a=eמ0kBpP䡚='s5e]}=-Lkp 7 ' Myhill-Nerode֞Nc -faRf@煟ݓh|6~ n#d 4]68^ F+<>6{rclΠAJ^hV\F/1U%ޑЉL  B#*(YF{\f<9oeLE) t M)mP,8x%r)SY͠ &'X8`rT$O^EXݢ98G99jof ^^8"aLVD & w#xXq EV$B|{}8"z2Jo<hOa1Y"9]"I?֬ھAf mms?=tukf*_9e@Fl;$,}Vç ߿R2p2ӕ}zӈyjEDWrRLl>}3]axyv4{nVi%lsp1SފۧuլŘ4lgYZ7zXZִF! N]ŗXiɟCrhi^IxDY?Av|3 jo%"P8X'a$e?WĽ8tiB=DQʫ6ȴindEt'ynRC$ /lRm\3mX%Pjv'yjBj [&>7A~D'SvQ` HFDfBV V,w;k[$ڕ[@ 3е8SNBd/A8 gKR[J3,uNo#$ZF .' J-ni&f>kҰz}f>=k|ZNQ$Wc _b.Dݜ9q]3 x)[ Ah*f~_Y/?TZ՗ .'Q#j Aڙ0,Iè8ў93"Uwye;O:p2{N)ZTL/"FX|mϓ⪱gYZ7zXZִF! ൂ]ŗXi%;:G1JL6M*W l_/ӺMYm<6 } =]q1ʵA׵U"Е ؠXUo.xl7|٨Q"L?ф' ioqLT1SbghR9BⅿwiX!%'5WESuaO_ jH ͽ=E\q^a/c&O`cW-eS`6Q9[=D++==3FOvaE*$|]=yOE|ǣw+3UY]-"rle:Nh&vL2C{ؔi3(dZCЪW 75M %Hv'MJ Cs>v]^%18ЍQH> `P?=H6@C{2\z OX}́֬.1a'}D#'-Q9)\NeY @rjf/YZ lQ҈S75Eqd@n)'af٭} ~&E:&8=y1*2O?_q 83})=*D 5NxS L&8S5FMު#dX ~baS7 憧ntIIEԿu3Q ٥`5/Bڇf˞P? ;"%PP6 ')dW+wb`2+B!'XEN!=o3Z3Fm~n,a U\ʊ Ukp ,!IRu>pRC]2d_TTo"L VԤ)5BmU>ɪ,Bl?k]#K8u4J' (*m0st91<] I $7wXvF7D[Z}X[፠N Q'M_u ;we"Sq;خ1Rϝ0^K_,vwi}yKӕs΢:3Hǐb}Ap&[M8]ً>ȤM 99trq$D(޺Xыf?74@S@ LY1BNU*Rϵ_x%p^B]?R%N|A_]32cT C լ!_5axYDqټw<ؾPcu*ղ!ėk YkQ 7ifڃc@D/'%ӃBC=?k{{L$er kKv!V F(Ag9 msyC q+B{y "Gyän#5DPԿz "HYx-tG4}wձmx'-`N DP 1gYZd5608e254cc80aded6187cf11f6e32a8dfd2d16c19483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 05722cafa430ad5d32034406e0ef9a6274c6ffc0