SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 ??>+ 4$D ] HOL-Analysis-ex:threads=2elapsed=35.858cpu=44.036gc=0.488factor=1.237zXZִF! R]ŗXf1-q恈a.W E 2kK+Vg,_w>D)=z< fCN\.'bm7z/3 3jrjw_yü6^7ت5oleI9FqkUK&i~%?Otsg\ޒln؏9.JZS}gZ/DbvU=4mx&O\3 5dzBx,VT%$ lk:R6BLAeZu RdpltWC'?8 6n՗O;xVgYZ7zXZִF! R::name=HOL-Analysis-ex.Approximationselapsed=0.601cpu=1.248gc=0.000hDkS T}YZ7zXZִF! ૄY]ŗXi%;Ű?y~܀-vn{[ٍT -5Ê4'Uc/&SCHL 4U~iI\DvsY!:2,A(|{â{/qVTq̮Ak(Q>1%<"tMSs[tZG/Z/1K $/L_㐷`RIRxa]۟2>Q,gH KsG6yFmaG:^.M7ヰ2R-SG(^kj3j9Ŭ^-?m*铣` 5-lQs R,vRJX  ۃLek̈rSP;T1 2k+$AAjxV>N<(>[K܉4$ٸZ5Տ-4ǐցҖBE.ioK+BĆ6ܰ+w+?k*̕ 9E1a(JVҩ_9auN 9$ɴ?8\ft~3l'&qk)<{z }5o>Wo +!Na,,"&IJLLWk,0vy?8JIILJK4iD*e0p"n ;eZBNUl7 " bC?`W]9Lmeqלmj24.?Ŵ\E-C6'9h^C>w`ͤ!9G.S2D!Xঐtx +'=vQm~mP#"S!+xR 'HV)~LhBUM="]u>4QtRiraX MhD(ˌx=7S ỏ4Iᕺa7bܶ<8Y)r~?jc&E|auYO?/'EZ-V>+ö=;򲫉c#܃ֶ—^.SYR4{] 5ܱ\iCwG@, Ba 9JyC{u W%/YAGe+GpHČ ә]~^O8MO ldLQ!V!GwBtطq8Һ |T