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   `\, ]S IOA-ex:threads=2elapsed=0.703cpu=1.468gc=0.000factor=2.097zXZִF! h]ŗXf1-qN50^ \!RY/nDTe F]3Kq .0oN-5XEDYX7Zӳ!?_gYZ7zXZִF! N]ŗXiɟdNG#8 Wƕ)v3)/hn# {JWhd!+o2-mjfgYZ7zXZִF! G]ŗXi%;c.]jPELJ[CP5L@8{\d J\=Iґ(dR eٜ`mWWӝ@4 Yj%58$|js}DcE9{951>?.o FPu`N&\VFb fJlq,F#K[9id ֔;) f{~ Y,jis*{EwU@noJU-ly cD!{:Ν dqs 64fJF gYZ3a860ad1020c15f5abc5ae57e96615dc62b114ec047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167 25919365df18615587d6ae826388e338f79662e0 4c0cabe95071931b2131924f0a46c86022a4b361   IOA-ex