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 )3 LD ]S Decreasing-Diagrams:threads=2elapsed=22.730cpu=39.252gc=0.868factor=1.737zXZִF! ]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4t'=  =oV2HF/Rd<稏s8vwa԰Z6{v?(?. ٶJ̢^w Q84Wc9Am?B (OOO_젻l!D4<%;sO991nE[vn{`,W$பROZ*#SfL.gU@dnZO!>p>H۷5gcnTARH[8zW_K$0P18^,QID&ؒ |@ e͞f##dB|Y|docՑ7.bN~cMnc.%~gYZ7zXZִF! wZ]ŗXi%6q w56]T7jgSC7E* [TPudag4QxpnxQ (gwMph& êPLOEk֩-|$RZk{p3U;_"-!z63-sȺ5wjUxXZ7׉;sFZw҂,LWok)J韠iBt_: a. 5Yai_b%ϩtYd2l̽Z?Mɧyj)Vʨ082M6pe<+,[H)bT\5\>7ȣ:{>"|~g=^c1͡#8Dy.VXs\boU D$576+;;+W ,1XlJ`3jやkw%=䇻C<^3?n|k)ݮF>XM))maõ@\kGeAwڧ6V-zEݩIkGza-ܦ/ܭKm]ed^$r3]YV V\ҙEzq3c+.o:ːD`8"*l,6}cVY둕Oÿ۩vTWC "~?' 3pX0^~?晱Ť(E(`N[zh) +?Q} Qާ %;o,HjEJgʸ~( ŘC~d(|l+p4D7ଚ(NA#hHJy%FHd5Y ~ ߧL3{18d# nP "x)UgGp4+=ʫbKN LlX_i&"x{!8޴ϽO*` k0h'V=X%!=鹎*ZZnu#JUj??k>;ЈQDZLHD$\nТ N"6Xپ;xn05s$i͆㰐U?fאEoÞ\_E`bY]P s2Ǖ'/{nl )預8)b t"L \]|6NZkZ;|Qp