SQLite format 3@ .  YYQ77Atableisabelle_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, "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  dd ? Separata:threads=2elapsed=14.081cpu=26.896gc=0.752factor=1.917zXZִF! 5pk]ŗXf1-q恈NucvAݪ4 c?[2C IfW/a RIȚ*N_RVp7u8GYϙ)m&&rJϦ!(ޣy\oKտvOfxrtOM*8@|= ;!ۂ.(J"s< 7{ꛭ@CZY l _l ?P߉ )R;Jk~NpVC%27O\yEXB*R@_4!WF K6pMu!BƔ0yG"1c@CŐ#VLM" Ovח%Ec51E~!ܖ[!ÿE0cwɏz ͏D<+L.8ry^7l49Hr{EIT!M\ݠI`b^TY2lӰ՟W4ָ$v( }YvN"%o/T@3`AbIV& ̦5PgN@EAYM v-7T]&٢!yo$d!“K{E d#R+y$̎7*K`ٞ!?ߣOɷ̝_ 2)=e C w"9>T@ <_/7(+: 'F֛ k;W"@S*'/Oz61 U=H{Ðr R7v;O jjgYZ7zXZִF! K(]ŗXi%s 'm{+ho 7':E"N&{?Pc6Qv0{+ Vk!M DQw%d`>8[ GKu m |bUH5s ia؈8lK1JB6Mhi'hyo{+:_o1`{X:$Vh27l>vX DFGWl h%FM؁ ϯyS>Ѽ/;_(L-^5|i7_̝pY*m߭dޗ xD8 *.I,!{XnW*P7|џzX{VIFDhJF+5#re[HǑ%^D0K#86U엛͸[s5sq7M6Z)B ADL@ ltRWJD~,{XQ#wW+8fU 4m)v㢃.73k(2':rQa) klʢ_B+I{y7rϱjP3 >ȺԹ4 c߷lM#.$Z{Qnz(vuXolsA658b{D͝@=2~'r l]w0k9Wr$q[S#)aݧKF|uSt-4s f=qHvGQ*7חCk2- Lܬٷ,4Vi_6ܡ7SZ3 9eMىXxH^a;Y2up+3dm"Ű(? TLԫ]$PsN-Sbl3UM)zS>r35<\lR#W efg#[ybWK+ӆ_qē90[L䘡od򞤔7Gm$ 2Z 7H+l-6v%ͫFXMJh; LE%zKL\b|-WaR|G{ 1nC bY ]zF.Qseٻ ;{@Y}Q=/,Beel+7Ӻ Ʋ