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 tt  l T ] IOA:threads=6elapsed=7.449cpu=29.560gc=1.164factor=3.977zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K _G~o,,z4l=.l `vp0QcsLQj, Р5qh 4T>JUn~FDHKz= c X hGs5& Anנe Kq[wTa:x꡷8 fz'E"42΢ fkBxh/AGf{5v&83 C̩O_HkْE'a').4}oP05#hD`O0M VKw2u\nKcdȊ[R宧̼W~@!w'M5Xgo H"O\p}ӾʤIWsn)4s쮇VEh9zgYZ7zXZִF! `~]ŗXiɟdN'LvH۹$vYef1{f$";*In$edi5Ę XL`@aoLcQ߉BAm]EsqxIkI*5klWD?v?[m6=3h澁ee*pEIRS6(y?͢%E?m b97x?z$gRt[Ռ֤h^[Хv" ЗĒ~Ogma6xuh-8& 䋪ulEL.upy!  9aLbE0~/%PY\(Ȥt9'0+o!vު\Heb; VuG;nЂ]yP4< HKb(š9_w$HՏ с/]KcR?6}8}껎ABs_|d ] i(kQ n߾/aQ3g!xx3&!V릻"+;@lJ}Qв k#o!2ՉB|u:ŝgoOՕo<.1 ySRw?<S -8pAm-Q7q?!Wҽ>~xjIaJ3ڦav)~ Dfmͩ].b&J2Qb5欄2񥬥?N PuJ9ʠx>p4`G׺pbaG5dxIrx K`#DF{SxgYZ39b87ddab8ea074cd9ac467130b280abd9fb6839f7b1a1f56b73dc58bf54d6b554cfc6678c6e3f45 8699c09d5dc37a7f84bb6047bb44724257d556ee 4616e281485563d4ba4d6e2411e6d76169530b8f  IOA