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 |+ Ll ?%]Landau_Analysis:threads=2elapsed=14.299cpu=27.972gc=1.660factor=1.967zXZִF! ]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1$gw(pwrH?sS1覛vc*^#H/"QÖ"$R9<2qKv|MAO2#JjjJ9^W$x٫[?ޤ -. 21e2Ko;UڪmH*]sU` %t):uolAzxEC5L,1TzX_Pfk_p>7YP $Y;Oq7 #|7D:{+" vf~cD + Landau_AnalysisNC4[J "Cw\G &[Gͦ_Az&ŵ+)Il+r8zO&+pv"]6$J394n"&ږ+=18h'!P_"(QG~樀֢c՗:sSjȗX` 9mz>3SֿA-qj@E,$D3)<,rLAI._; R[6u#6)H+/P9}mbX'MdRW x|kph^Xgy|X/˰Kgz ڽ$R*_@7.|bȬ}搄԰g-ޒl ^t3{[ȆީЁn'!vS3K`2"x CllV럴 MHqݨTZ~!_P;.E Ta!3^l c̑ɪbl@X0cMHGWpKQ?2eL6l%)T4z<;~̽ 'D:7|Y8'']8zKT`.NUl%]֝"}0޵JYӿL)%<ߟ]4 gT@TcXUtҵjޭ~nG1M A89$BAPHgMvԍPx6Ea 7¿$qhVxo,J¸MPFWMpMKXoejPndayۼOSz7w/UQB}8a%^/wϨ &}5ov}ɅiZiecwxl\1.G}kCI.$7F;Ĕ}Ų:Y2x\.r/F2{$d^CuNX&H̹`suҋ|5F[i-1_?jڿZ-ܥ7 dEYE ѳw(nɠtXwsJo=睗Kڧ&<3ECq0;Jaaٙ_9h) BЛm+7)-a㷄k}k("8Ѝ!IkևCcn\gYZ7zXZִF! Ao]ŗXi%sGU+L_9;=qHJnI%W,syRA$ fT D.=/U[/qHWs,YU` pvߞ@=E >?#O-p/3WBR ]e$PU c-T#&u2i D3 Y>ɿ=?ʔH?u|}Tc8͏GT}[38@%_hQWJA2+6NnUFeE ;L~o6PS/idwu3F_{a3v*G}D/ɤ%{gH-: @G~=b*<)\V&i4f8A w0&Pˈ咲3TXhD"O>43bG[8J{X=Id FDMGT':xn%NY(*znTB,HzI?J]Ц?qZՅq7]XXQ41y0I_pu' &C؂tLfd WOǥތny"cS?1E'#'"=-:[RJ 4۲~"3g6- E7)hbcr֠$gqQDԨk43VSYR0IlhjP0 y*VI r(EE( pb@W`vwbCVFU`]]/w{HK{F'I|x#6>~a@};1YbR]Ew*A+tS ڀf)})ܜN4k0=Km ĪMCС΍_:£@q \)&smUb{ɽ" rsL02w\>H`Bawڔ.cERE֩I6JW-