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 J |4D ]S IOA-NTP:threads=2elapsed=8.059cpu=14.276gc=0.624factor=1.777zXZִF! u]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#TA_$Z*2N)Rhb9s5v 㖴/9A!9 6`5f!JhX5' ĄP` 7g+; Dۙ ,̽vuzO"XzxQD1;HOcڭc֔YBǖU&6[qY?d`!OnOi-RFzl/Y>ITxC~qO~I"F>]}~2fcsx;LE{:Z۰K~^7-TH\8- pgOP됱gYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz(*R}IJ{K@dWvdj tLnC{voM\3&+9)މOp-ղTeɢũ,3 |ul հOl.C=TjM8|nnasH$1ٔ87_'yBn #=gYZ7zXZִF! ']ŗXi%9+ ?5f(9Kޟ‚5Ė)Ÿ↑^,?`~;#^qUkԮQmFMkvóeΐO4Sɉ' NwKm!TIJ: h=""\&x cqغWVN{ef۶EM3AZ+2RGUpbEV$K!%Ox#AKoqƑŠygsfbUKD)S !_KZ|qr /wI`W%ۣ;C_B֒7Fqk\څSZE97n4Dk+D :J6cCԥ$;WeH'bxY+RdfY2 );_(R[2'KSC9@U_Մ$Ie6?n6+:Z+LCNjyXbOV*c{2.6kQWBeU]Xa&O1jo">|Q5>r9!'Jݽ׆vc^qD 7gA!9:y">;%fF "?xJ)ГO)D?Amy9ݖ+qewSLw@Wq_9Q[ ]9TX}|ùpb@4;Q1~ͥJ~ck_~[uwH4Q~\[BVd8F6<Pn!ItMC!lEz X|CbUjO݂mgYZ8f71154e793a7640324ac5c2d17a6ec422c9bff641dfddd2151ebee28efc9e26dbae12c72d1935da 81c9499a7df86d3b7533ed9c6efc8881fcc10f44 00c52217ee265f36cb0323afec3080794ee45c38 a57ca9cf3e663cbdc91ab4e7dcc46bbd7034550e   IOA-NTP