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 ! ,, % Splay_Tree:threads=2elapsed=37.831cpu=53.468gc=0.668factor=1.417zXZִF! .]ŗXf1-/6vR[]SsףּmH$>O'1N12|xp%Rl n]>qF`=gb>[ ɾZ$I4UFʀ6~',0!1oM+%AZ>L B{ҕh7O$p1 a"x^+r(^$Yew(7$,n_FwsԔ\P'D P13crai1ؗTv$TK&\hԲdhYbPyh^HG$/hyR,uh VlG(!"0 ,G2S0yQp/ɲY^\DpcB0фBMXfc_r RDSaaU͗RxMטqYhšLTd%A4 NڥEI#)"J)(!xA#IoB"t #41r49z/rܲD| d&|U-z&L"/ ˆT_Hz%RP|ndC mٟw*^Ob\h5+/l`A_ &!|jb+b.S<R:iU2ޅsNKxD,#߈]^VՀc\ZXu?M*TmZ)*xQCY1]Wp*8dFC8WΣ]ɈuvV+<:Edb3b@&șs&cx"+ _jFa=Z8!*:Tsɴ<\ 'r˛Ev7+짶Ayp `#m׍qLmRr\d\2Ecx:!SHx;X:_5ĭ' mu^b7jH$LI'.K{eIt)Vk yLkD6o ?%Eyni.RWbooJ[*cΰ}DIy1uJp| ̫;2&1 ^N`btAwTqM˪S~wjP#[>JbKQUlA"}2,EQIYwǧU[isfH9ʯL߯) V1WHc >T*NuCj)oU>Ӌ/B Ҡ~9 0&R7\SnjҌu |t]lC rz^rp c^'C ~2@=u(ۋ4Kz={un4*5!ÿ=IYY6[_ΐru%1>nbT^q")xAT (pQ]:gNEu=-y7h OeQҲ#BUBGyb 0_F"8*sZXZfq8xO ZE5`bj sVW/yh[i0-c&ΩUP";O - JG4a X }c݇Kߪ#j~up.սT>&TC}仄