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   `5\l // HOL-Record_Benchmark:threads=6elapsed=104.072cpu=175.676gc=8.760factor=1.697zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2:aoklo^}8+/3[nxgYZ7zXZִF! ]ŗXi% R֖0_C3qv\Z] }5^A.Mj3d%,]]*s%ը/jM 2\0U}ô L"qؼI ]Jh8/4UݘEԞr3%U,Ke#*bN RXZS7+F>0L{Ux{3A12ur9DzAO9LoGkq \u4T+car"<P0 ܨ[MaZ(SAkL~[pjIC|ԧބ{,-,OCL@۬x{ӌRr s\nL+ԚL;-Pb4?Xs?eI>};pcypU.\B=#3 5 HOL-Record_Benchmark5"F ՉFܨ;Aɍ:dإ:aώ\rPk- ćdY/Rʑ"s3a!?'Q@t(2&O6Jvxg*t!Cl D"NSo Mܹ$j҅Ot +u瘪\jԌeIn"H\ވJ]:(yqzk>W`ɑl;u,#Azbfa}*Mo0d"S< {Vb,k0h:mb+e(Y04ψl 9P 7#V3<—(Q\*v$9B_Le+H3I.jڢ&Csy(ޮ9rˇ%֕_rpB ̌ aO6Ȩ*+UN'qdxV[6$JꭶlpqQTNVx֤6.ЉE5eQRLQܧ0Іڮƺ\YY  ѓ ?ZCNbeGnq^L>a#rNK#|?8+G9˶ecTSG/Ͱ^8RHﷵlǚkhGo$.2erM(rchȆncuk }G_ꫡ.yTDh䭰p:O괃!uByG8r@BDjn[`Γ/,kj6΍O/_mPbef"*ɺ噬ZMF#yO$ݧ_]w  +FK V(&i.Pm /y0|o3A}`?uA @FUY$.+F\\e $r`13<A\99֪&S˶bTmLõa%'9hƬ>0aT < zB&ŇBqNi.dhTN \xd`#d%j C!·nU"ۧGT[j8Q7U7RZ []+^LjUGYTi4J f~b=+v,ك9U49J>ipK}B j8qsjĄ|eUdh.3NWL]ߗo5>ٟgu|90#0gBD>u@/j۲G" u*ߘTkZCnqc t1g!=p`r ̼hc<6wDo]- pP U