SQLite format 3@ .  YYQ77Atableisabelle_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, "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 33J/ d4 %w]Pratt_Certificate:threads=2elapsed=21.901cpu=41.788gc=0.620factor=1.917zXZִF! #)]ŗXf1-/6vR[3 4#d{T>9zmR,u QJɘ0BoWhV3TIqflxaF$ve(6VSTblq JAyEnف l[DDq`*y/Ã=^V x_Jyն%Ou=$SEOW{iŽo0(7f촣ټaOX?/QLvK-vv  ],l1s: c?b:&/Z7seo;X1I],X4_̪-Pl@!f #vg8R|J7԰>\/w*@`E6Z)3jX#pbj )yvkgtI|;?كj\1}0xY[0()79hq@_#6IߚOEQ+Ƈ0m.,tB%ZᏘ:@3#KS \X|`ۣ0!pٕGx[`+=.&`F%ߖ'Z@HjzWA.Fzb^FijL2DXq3{RPo0UJGsPpJ毲2^#Ez0HҒߛgqj5*ԡl*Z䴤_ 0;rg9:4<ޑ~!|㖁Fç,CZTP`wKաfG_