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  L< ]S IOA-NTP:threads=2elapsed=8.131cpu=14.500gc=0.724factor=1.787zXZִF! T^]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#TA_ Sq*G)7 T*{g$a''L`NvQ1^>t @c_ h>[5roQ;6PteV)JӦ{@lJnʱ|]ΦaK)?GX!L6acdNm)e|{B>ϼVcqɚ5z=M=?]rq#4̪9vNYc j8> Yg,|ۭqR Uk8?W0gYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz'v0 gWtTˇ)z}@"~:ELxPyL D1n+sBz9ؒoy%7YC=Cr! tl'6튶r`כRS ?ݍdsϦrtژ—XT#ViϼAҋ(pgYZ7zXZִF! %|]ŗXi%9*WڭG0:+Χ7xSs\F(~,Nbz)\\SN%#(M&a@M%^N`N* .1}ƹ5k x!EC+Ok|#[6rmwg8fnfB{6b ch24}{iٟn r%=I5 sR -?!i 3)O.!W֏Y*M/ZqD퍑^) z+7:`a7,;'p2\)<ἤhr|XInp?,JfH ׺~mCI^,]QjɊAR˨2SI6D+Ejf2ّU:v0R]^/Ȅ31Pnd8S>ȑاJ4xMKz[(zrMFH\>/A卑8.cJ\gYZ1fa78674a760307ec93da54f30882b3e21bc66fab5c424772a2a5b40f2f68f25414695f3cd309066 4421303c0db3669d059ce12e56ab74b4697966f2 7b39dc942c0d4779ec4458b7e66d3d6dc451b4e0 70aa3477a9029aaa89a87814af726d35b875badc   IOA-NTP