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 '+ L ?S]Sturm_Sequences:threads=2elapsed=41.733cpu=78.528gc=1.480factor=1.887zXZִF!  ]ŗXf1-/6vR[]SZVB@I3Yf/jG o^1Q*${5;;ISf;$0d%ޱnO"cxmۆ(y]v4gߪ:>4d=E-ӄLK Ɂ6ԯ[De1 9l$hj**ۘE6V] mG]#U(LSxis R&,e2,Qz)2-ǜ y ;zⓔ8^`fh܇u͵SC6B p)jD9qhi#C~x^>3*CY"T AS + Sturm_Sequences"]F֦mV (/DKDٹ=l =2 G2 K@U)7 qdmkY\-\ k"d)t^kdF?g9նv +g$ӁnFW-]mߤl\NʤoG}1.ezcGй vǟ_C†;%.4aNN/<lդ6RQ7طV`pO*W#V!Qѷ$sFWSn~ 0v;wwH4̫d ̘Ÿ%(A2A[Y.~Tԝr`Rqj*I@we:&b7T6_?\[ /0N̾R>o{H}gYZ7zXZִF! L ]ŗXi%6S4sP.)24)W*.*=UT2}\?Hiï:EFvZB>ZvMOπ{Js(:?!ʳj7^Uo9rwՐV߀ Jq7C]+dh"tHUXѝw;&F9.MG> c'7JR+U&L(<[ޢ?1>V7ϜI%S]/%;e>7c{k-#@JeXi5`Mp,JU-|z  qPt:sJ< HJ3QR(A-8)t8wȚU/A⭒*e B% q4܏_:`!9pO`\b~x|e|қ(ŷ5n>euP{ o P-J/RҐzvo}Nud"opדd/u iG`0P: u4qAlS({D? ➀HL")7]'-fɴ)*](~9"8qt/vvԅ}ICˆyj.+83FT [Rl";KEǍR;CiIJ6T}jGG0O[pfK)V|D fg1{#jo eC9c^y=PʮɗEqLW|hUU:9s+hx^E(XGPͲV ?1j.ӀcRSQO})cjn9m$'i(,KAE`"5kfœ貄?捻hH#dx V^5{b xQM! eG%y /,5"Jy˩cfRo!vCA~iL,S߇S pR R'@!]gB5uѼ2(+؃_vz|ckmy1'pcD P Bg^x#'2+Ua.vn wNk.lы9xTg6y>R{ZqG˨}OsU$֍يB#LH#gW!^j4'Y0 UԋϷ; zs@N[)'C6CZ1'rzL> ZGB8\;kWl懽WI]m\ ɇR0KF@!dG2Ιz3vѢ27n8!;u vEЇ+"הx%2{]&,[6_^!6sJ!qk[+aU+vhj dy>wPΞ\`pqlcyZe