SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 W#t / HOL-TLA-Inc:threads=2elapsed=1.982cpu=3.620gc=0.068factor=1.837zXZִF! 6t]ŗXf1-q恈&h⎾kH=k Sm~` hc(]FͩhlQ[^ȁjs |0qS # HOL-TLA-Inc/.ǶS K"::AÃHTŬFdfˀ5% :wC&w2HTC(b &9x~?Aʟlɛlf^uV[L"bg?gYZ7zXZִF! ]ŗXi%CkT0R[p- ?59ms0&pKCi +#y/ 4ˊM [>l (J_$ܺTFgxהD yN'C YN&xxUIo/:-9U+׶aG;Gb=}Ainw`I5XLƠr_}`,pтz 9$P$Gc/8%6kyaƐRTRjS,xR0KQԡZ y<_!EmƏj@jdÄ ^[UNy+{b ϳֲAX'c<9|g%c=lIrZ[P>,75ɵ|s]{jIN;=L_>zmZ gYZf19b67c0e3c28bd64677825e32584a0f27f4bb56 fc6eb76f4f71f20609e402f2e6f12617ba1262778c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 d9e883ae99affe5ac273ba1c889b8ce1dc4817ed 3e5e69ab4db0c5555230db4693bc0a6e47966199