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# 4< ]S Shivers-CFA:threads=2elapsed=31.190cpu=59.848gc=2.916factor=1.927zXZִF! ]ŗXf1-/6vR[]u Eߑ>LU|BV/ID8n`ߙI/L 4nRpU^x$Р qG4x}FΨUa`-֏|'$!fXF9qFfOQRVkdԠQ WG˖ #ծSZ@YRŎ 'UriIrGRqDP&?-rՅ{LOEUw!)X'K'UF(D`[]?0|;7WJ2YXw WI{qOus`|3"OVm}C+iba?j2!p9^ Ȝ8je;[[rbajk"E?#h@8 p]CI0/wx ۠Jo ZTE__eÄ Ra3z+ӌgYZ7zXZִF! 9]ŗXi%6qgi=drrW!^鬭6/[HCON]o= /GDͤ(8 J:8tZYzNT1Ỳ@K0lɹaE~T9 Ğ^n|BEXO="LS@<18pTF'C5QńG9 &dJjۤE+5sP~\0[د 4Uޖ)aT v#Xyo<$s??{ِ(B۪w /v ⬻^s eqߣ(#pf%tgiOy̿)kZi2! dԲ81 ,gjH͓V߲p4CwƢ>p;9caU}P7LTl_H!dIE 9 \v-s8]< 韬=4t$]qz 1Kɓ++.q3#۽ ~g!;& Ml)%nj L :+@0ׅ5S`:c )˖qr sj…Th+YaqTfG  ޙEN 潾_[=msRRp3mXƷNpxC kft|O79$vlpB{E}o\nBr׬|?9M瞯2l Ku9.2VAV7<l1By02ᒘh}];&7 \EjE ئ\ l'vh#ˌ89\QmbeݐD'AB젭''Ƣ mAq"U˽(ԚZJ8z5u!ڥ,X 0Mq3D'('B&I>)oq` xs}G4πVA?C>ofĐoۗc|8J8բrkkeArHvV8@X=a{̴Eayk'\|:.h߱ՐOJA1ż7)Cbs_!ǚ{NrB`=uYl%/pnot%YZL>+߶pyCwZؿR4shA+,7ֹVԎ2]eD(AKp;2}h Rߩl14 n^vW 2jx3p9[YE=烇K 5kʹRD&4\4т1Jx bvC${tCFL{`\i MLf4|ޑrVT XVLևLBm$#ќ : Hv SI dcow2i]ۄ9?x$7_nB4,`Y~"S81\FƏ2X'Wv8ww%!kt '}Avƶ[(Y]&R(K7G,ZiQW̱X)Kj4ܿ,B}oj:UlFR-fLu9p0(|( Gߩ|K;ip ӾI&EsF^܊i7r~`WN֤T{K<–h (\kmugYZ9083f9804286a78a1486aba8e5411429887e36451e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f8 93aa5b119e92db86968b1b4e4036e2c365e5aaea # Shivers-CFA