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   tt ]/]Nominal2:threads=2elapsed=37.773cpu=70.504gc=3.256factor=1.877zXZִF! "s]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFsHƞ!3i)Kr jY7!*C5G?F;).f)ŞiZRl Ol'ҹkOWLS.z(،wŀj*-Q$t2fgOS pB303~H@YyrV|A>qcm0#@"ԫy]I>n{<]pvrhD3# )wCty, A+^;or6DIHe:-l ĥҶJ0I%Hh&XAkTRW CfO>kAgd Z|7aoCDQn{욫QDcO3y(ĤZ|`9\ kh*\[̻J)_Xy:d?#zѣ <4!Ŋ&{fQȐ~*#\RI<-Pן!|mMz::}N&2#A 0Jf-~ H 5paC+ M{if[3?xje9X̰A1|yhCVs%Fjn|ƄLHLЫ(/7c(N枓ZPͣ{uJxQr(Dޚ|>?U9桨g~;O*UC>+ >:=Ct \-m}_dxFjOf/+Zӻ< &!,V8{g0èXy~<PxG6p:>a EuvӉOׯN+~{Vl7$wmi@]skO?{s<c8p=!hі,& ƒrRV= ? (4 V"yn^E(>f .{/%M)w^(o" 1]mрɀEdKA ى%?{q[NYzp 7S7em?9995!ږ܊D>7TV {*m9&6[bO"փijvoɈzTq罫Ec^_PK( N>2llS7S[Ԣ=KY%0(okjzƟĢK~/@FztbQ¤ȩāI`Dt.QƁ*;;Z:ȷ4ӡ!ULT3Mw7d,UHvZ@X Z`* Qi#ϜPh2NPwDsΫ h Qazş*E U6$*$~ )͔zǧگ6q Nюfyd|)7s-gtH~qjt$KǾV-uoM䴦U$B^SՎMDgߋcb^as$꼣cX,OogHfBs1˼]cz7skO'چt ]& FcL58CD=K< )tE".g݄dyĠp!9Gn&xdWoMj"(voD/F(OGܟ1譂_–Mp"Y'QkAh=.&A_lCLI_k*cPp d_-ˬRmAQc9a+eFaSb秫Q#ץ{u1+m,!E< .D?m~UA2= $a ݵmo4z{h 'lC7ܺN Gm={|bFjՔOYPDF,@ sG>e?08,j!+O9 nxCګ1P^1-5IS0;%ɰ)nhiu8 U t@T)RJ:6ئL2 I(o%rp,*+ERK' ͻ`"Аq4 `!7ݸ.0/I=(_ ӆ eǴHo`f-z{CaPG `Zika9rYF/NZ/E;OCR k0:pڎ_ K;ÐXD}+ně=.` nC 4tFx b Hr+uBPu؜-2*W!nr |V&aЪ}8[8#<.6Gٵ+ƛ ,SI{K$ς}sinba7`_hR6Xf8_)u1!0JjƑ1\:K+ZRdNa)=t*ypyCq5AOI# ZkmGGp)k\6'*w%EYR#DHv_cz{P L0e&S&:Oh_6ji㿿PExk>\Gi*;n; YH'4k&񬥼j2?X