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 U 4t S/ AVL-Trees:threads=2elapsed=18.965cpu=36.092gc=0.716factor=1.907zXZִF! ]ŗXf1-/6vRZ\2_:oFEQUUo2ɸzZVTUW\?l,--1@Z05=4 f5,]Skm<`Nؕw.zuYA.5][ȵs-*Qe3big:s v#N*e"u:JcSŋʭ~g$p9팀;MfE8nD :V$f` Wu 뺰5+r:`}1+  PNV"z}?$RƱgYZ7zXZִF! `t]ŗXi%}2J\M 'n&q'F +8^jٺ~7qG5̽ 0 |(9(>!ri}uw t̓jTc%RU!?ѽpU~;`C0ybˀ1]x}Zj rYvR|m!~K/'~E;(.7EU!J33n_kZ65%}%t8w$?65Yhmd1ztwW-Rv+lTߡпeͻ8f<(]B?6/A˟h2tfgrLXShX#du.4F Q Ko1&*A LE!z-].OՅaq#F>k"8h3D~\lQYl9iNۚY?Z~!6<qtJWi;;Y]n^ug uko{.:Nv?B(7%Gxp2#>0~orjvzPNZ%ޗ1ꕲNt֒t;Y7dSʁZUhaGbn&wVRHܐBQo{ H<?|Y5 bM,:2A\ޠ^+9]I SsmZD3\3$mUyw(MWѫyuKoBY)]Mn7W_d'іyGR.AHtǷ򄰬CƌÇL_X/^XLFԈ|Ws ŧ%p] uL?į%9lomeLR E On []ҚICѳn1;X#I)> pst13/KOWnYW[)hLB!A?x06.15bahh~BMNKU$5гsCz