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  k |={@R ❓U|8wwi,jK3z :qWW+)7ąkQs`TSߥFb:?93>q[l$FGTkƱLY)v"IkU`&iߊO(4lK/t8jC>$<ԜDƇZ,Ҳm6ϒ2Q 1d1zrwe GgaFZb)S %th Qa oVd&JUK1ϧt )l^*BiFmN$ϔvw?V)?Bk5`ϗzR$e; ey_q&MϫB$:m-J*@ZgބE:#jF4]1Kљ0%>EheQ C-tBGID)֓tzrUc1`,Jq//Có kaV9=妓1`+ENES䞧 fa9⨕/!\n,\Da6?+*HPAT|?^'1  pGCL0j1V\[K )mSJp{Ks^kn xW"rF2$W7ە0VȞ_}6f~|hv wa;'eBhCR)DW}~E+JCڎ@/rQ֓u>2ľLi׍8!9HIy F5~YLr/yTf3Mz2| \" 1~aXs:-/*ZfDkٖuW5rΦD0H,(>l~3 r9cX;I*q$Lp_#UzP0F߾D5GtA@%Gz /bL{ ;lT|Ygl^7S.AV;pUn2{4w{QءH# FϽ*f31.pݼHP.FIKgYZ7zXZִF! ]ŗXi%6p%=8]%Yw;Krc0X$^]r:<ܱBڀ R#&#n]-N"MUciL.jH`+MyVɖ \"6m6abwYl 87O3j,!GälG{?T-֔Ո@oوha\Gn,~g_\Σ+T:*bƮt;kVzhF=VZ-/7:NeiTigUh{}]^x:!; G2?\ӭxH"/9aZTfrr;;$8Qn^ʍm@Cs4zA͹C rO2 C4:! W %"E As~ C.`AJ1ݔ ܮ(7BɁFK ?_|ˮqzȜ#}^*i&2q~0i(1MۆM]ƪfͮ7fo|JvיB=؈@RJ&I"x0gT1M;.OP;I ǔX{qw$Xvp>s~;v  ZVJWZiJ9QdW\&G6p{Mp]Dls(wf,_ )W$%{] ~*0NWh֩KpDk"Sk8Wϑ=g2x[r:n+Jtχ 'Чsf@a^ȻקJ (zRxi=:00^1 bШ7pݬ^,).oѸvީP2xj ZcLMӺ2Iq5ObEtEL; T՗/A[!D`S-wazVim`p(|BЄ(. .8l )R縳j۸u;) Zd> >g@Y?zҰL줛oC{Lا YTTCP8 w,vr{"~kB,(Wie p "d%z 8Muer918h.AwU%,B%:=":&L_HsfP<`ZW<|/:fI[`jx]\.+X!֩gƵn_rV[5