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  W T ]/]Ordinal:threads=2elapsed=3.226cpu=5.660gc=0.264factor=1.757zXZִF! ]ŗXf1-/6vR[$ l0I/O]kPJ/iCgYZ7zXZִF! ]ŗXiɟFHuߑYzV!L"1aipQꂧ1 X("/H]pq~_bR,pL [dܱ%@FUc5(s-s]d>}e-Kr ՟;lFyvy Gw: oo L?- b{gYZ7zXZִF! b]ŗXi%ή* jL=?DljIک_~c BX@ Zc]43!- v{Nh77Ba57C޲c(n|`88:cfQɳzQ|b3c+eoS+#?os]NeF%PL<LE9Dy#MmdbN(ER旨Ooƿ)w  fKvW(qqK)D[4x*J[XQ_h>^564 X<mC{ʔEgS! C^4Cxx>oIr@㜔gDj+%FGn*k RRB"En .٦||XaՋS52: ׮ڽ|RpL zcN9JZ!!4G)͉ԝ*iNR!&aJmc4hr Ź2b9Ooxo  %90 jmo$4]9Gf#_ZDxjSrUx\wk5;X2C hw" j6}ח50AJgYZ1fb099b304d7aeb49edb9f46e8a202a0985cf06b00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02a1b8e83f5d2c8c529e9aadd3e637b0342070627e   Ordinal