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  ] ] d, )/]HOLCF:threads=2elapsed=20.005cpu=36.704gc=1.968factor=1.837zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAU![Ys ?!4|lONgp ?aN^ښy Y1~EL*"sghףtA?SAӔv<@J٠oә:) hW~N*sIr$送 L^Z)řA2:W0oa/Sɮ(~b8O'$ĝغƙP_A2 ! %Iph˧Ku҂Gä*cU ph oM{k)4@ZCCa{Œ"?.fg Qy@#;9JQQ<ܛ\HyBO  HOLCF2P֙Ƽ˭+(W+1pbB*STڟMje+qBeSg.^.e7*YF}_K7 AE (OL[b*$WhLHX]i o.BV7gYZ7zXZִF! n]ŗXi%6wgx0><086`,}|U-Ij>M|Ѻ,/(TZDK?<=ωL:?t(몛CDeIۮmtȾQ(k4wYt*a7?ƒ>( AQYj~;HȚs5>׸,tJ{Φvf8说J xnE$/aഔY¢5]4Xkrs')rxĐ"zB5V CI}BwVhNuFݚKZiZ-vpd(ps~sߜCn2*TdS=QRjFNЋٚwI$i yj5< t;yφOFe<lOYHǀ}ޢW ?`5YIֳ3 0s s6SmOOy5Wn:DB/lW kxJdV0f>M F'X`p$qDYZZ]sE.ǭvޛPeĵ(/s6cAfH ` ݺc ̟Xj"'FsHҕ5d[$EΝpݗAyNF[m;䙙( fE{O=3I&zM\׷r;jKm%?IU6_3V7z` ^OU "vdjV67R! "~Y,yt,} #T `r@u R!u )$-"uRE܉^Oҕ0Mc=\̴GݞPDG8572g2j0=x(ILVb K ϖCF –*HD#niCZkxa8&c:W:Ë"I]^]_4gK0>R]FZ9jkn[$THp0<4ZƇք/ JkPg}T-oΩJɢ]`@U\]L&qS&8SwC{\STvy9(ԼgDD1*tvzgjWu`h4T沝꺃1P+9e