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  t\,D ]S IOA-ex:threads=2elapsed=0.836cpu=1.740gc=0.000factor=2.087zXZִF! h]ŗXf1-qN50^ (`/aшO@aMUs[eB:E3=&wxovf"*s^7?#ZHgYZ7zXZִF! M]ŗXiɟdNG#8 Wƕ)v3)/hAy$G|HW)p;Of,:w-!%nq$ړi-gYZ7zXZִF! []ŗXi%9(Pψ eXoq (52k'/rG]Q&J6Lٕȇy9s: a>1 >!W)pn6RǜPc[^hkJ@8P%^X/$\U6D?WL}'wAǼ(',odo9ZYw xTu M 'S'1#iYUS˗Cɝ`#ͥNnT/5r.]~c#I%hMktN|B g WF8ݺs38^N̳P1N{j;@ry=v>U&lVg \mgYZd6394e7b9025f17554264e08df2d1b2bcc278d5e6f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 542a4e488b977119020a5c98f66b8e1daf96e42a c431ebd364e6717156f55b567dd213da2fe866e3   IOA-ex