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 ~~w ll G]Deriving:threads=2elapsed=57.643cpu=93.244gc=4.600factor=1.627zXZִF! 5]ŗXf1-q恈e*[#M?Hfaw :+/7̦yW g&VL҃pA:sC vljϿCKus =FN͐l ~;*}'\F:uƆ[sw!=646L =+|HWo% BLXb5"%бmvw:6G1I phoo^P\G:-#I$63x/vVEA!󹲳 XۨmvФi tm&`̒`PM9mvyƼؓLS욱^;~Jk_}@, 4^!nw4'fěĢLGF~51gD$r+GzV4VN@p i$SYh? 2cea+.fБ D)r#Nn +@,wizf a)H/Nvf.Zn MCHO\&*LERꀷF"èeGnv/&FHaz#y$mf&XOCBėh.Zm_e,:;:Y` m9qϋHD˸PQ@Z xS1_ ¨?F#pZ ?ԫV+e]fd!Bf#ŪTi;x}'tj9 y;d:3װ︕}5zeV@ݯ'_$»b)P>HO5T:LRaVMFoٯԤXdp}CVZJ4%vbS۶OY 5JLӮ/ou4e`itN}. 1싚X(-w *=:{PUx|ADur}.*/nUX2+j~0Y0NV|v.hKgaw'녑RÞUE(.΃fh~+Dj>&wl_Y2NibAaS+ kXȱgYZ7zXZִF! ! ]ŗXi%6ytn8o O,/b6D|OwlH=iM2nN"ɾظ*-'I_{ :jHibn xk_M^JEb9R,R}SҖ<?&PU~ S "JITQBʇJf &Rs1ljǒ8̒EjMӴ} vnޏ=u(M7+9 agōB#V,Λei~+I= e['lj(-ǚRỿM[Qk(?Mm75{#0<5ݺ%: Tɨ~-+<1SBL4 l"M3R>6х1aʏ* : ܀E1w!J%)4 Z5 ԺyB >e SD%N~TCn,R, #N,+ކ卪T.h>7*fS7$!9{g (|B#yyG b": AD,}il:"=quD9⳿+B^r ʣ)k$F"_K.WȸB(vYrODf9г|G/ vsn3%0M̊r_\*~ꃜK)'ԶbCNKn},<]ILKTZ_p™i+(m@5=tua'Cltmc_зw rtOv_ AJ}ҜR쉀{n葱x+4+B~; aqahd5PwM#%ڜ[Ʈ;oD?潪)"PҦ^V36Ly倪 ?   DerivingDx";Xݔ)w>' dZ ؛G!?F7MuEK"8߲c7<CA>?Xnnp-|Kt3Qtg'RСj98_hFcw=Qsx# 杙o >N] $:cElrj0$` zZQl(/:-LPP1sqgT&XIYy;UZ#N]FcJ-?1#/C?[a{H= GB+R¶tkTu\MHW =_xӦ|CpG%) CZJfѕm%>$<9N! 3qRQvȗ%NHNI%Wh$g[~HW~V+rkvRӆф[fJYG V*" \_Cckd ٜp@.2v*>MttsoZ4R|j2#r5Q a@%{ S bTg@߭yACW3Fׇؕ2=ć뛑(d͇Л|9)쯦őZ#}M8ljT#nRÁEL@7sPQnptЈO50YyP}\>|}#aZ < /c/D[g߻=V twM>7 kj4fDYW>A.a1$!$E?REPu2]ߔ5*A핬I}|9:Xk͢z:A{ڦט$LEs 0fsޔb˧FFk1GqEY+PLՆ},6^3t QzJ{V8–ʨ˄*tcY:I;lx?}ь`\;1.:)4@OT'@+1u ρ޼O5u U l?MPQBx5p^ (ư+Yc ȴ K#q\0bFL|zH ~cgX/h?7֋ԧe!Tȋ椯]_)-MrHl_yƴx-ՒʦP! R*':k6LLZ4Id~V_#\9((k[n|;`H©YfSl< ?}䞶:ݤ%D5Ď}D