SQLite format 3 @ - l l B77#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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info #\c PCF:threads=2elapsed=64.055cpu=96.664gc=2.844factor=1.517zXZ ִF ! t] ŗXf1-qN ~m뉻LG 8Q?Cެ4SwW{RI=ցe!c GNz;rQx\ڹlnZoπ#.Lz Fz&8xNhE6G킕p&ŝEsX@\`ܚ81 rԸǶ.+& PCF 0/ f4o&O=ّTEt ,Ѕqe9EFHP:zֲ'|?١MxX[$[on[͈#9S曝\GIg&h=Woܕ5ǿ|*Fl*\Ю!%GP=GVoH|r9m)Zg`$['cYeclLy{$ ^61h~H`o'S9X*.UBsu' (!VҏWՁ73 ><9i2> A8_g [wUlew$%G'A*Fr6z V$/F'~Mx;P(:W&"{B K)%ӫODe9VCSI\HO bR.$e>doB`:щOuf 'Fdӥ\*o7opMе(wL'%