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 !/ l$ ]w]Pratt_Certificate:threads=2elapsed=21.486cpu=40.712gc=0.624factor=1.897zXZִF! .]ŗXf1-/6vR[3 4#d{T>9zmR,u QJɘ0BHo>_ Jssեty_\aQ_ @ pScbci?8K-mztl^0{NJ8L``Ӿ}+a+7(0ǯɨYŗn7DJ)b9Vԅſ-Y3tq<J:;ޠzLM +BL5'ǽ+gYZ7zXZִF! nt]ŗXi%6 ߚ\%?mo߮;_\O-_uNGt)>(fRDnK A!?'K ۮ=!T𳹽gskΘNrSVZ@Bs xM}ޮ-kXet<ؔ*=.ڊY(q$r]|!Θ;CxWƺ pv ګek ;;)g’ϐwܭLjs*jUCx Ui6АEz 'bAKIg x^} I8Ejt"myƕW5P[2I77쾅(\0Vi^.S;5g?[P-=Busy%;IġD~q- )P2PY?@%TۂG% f| kQN];p>DYPb]2/Q0DxB|K*jru~1*@ԼنPĕuB\v8y~UqVroIS8ڂ-YUߩ?Bܢx_myuTd9yႇWf.ޒ]xRZUn U^к<#@6u A 3"DLmOC6KVu<鄪R|pfGWZar]bTCޓIV8i=] @U`k If\m6sڂ5HNz|, *%%20!z}V*|4f iGvixJUp:^E Ki&>,Af1e;?j\mhyC=PPԿmXmA4F`l) d^Mur -:wN3A/rr&Q0rEJNfx@@ĵ!.qD}@3Ȕ]5Eޣ >*%G_TΡo0VK(YO+MD ge`PW3%rկD4Im{en\:o0 e H; :NJE{2^LTWK@S9G-+rE$ AQk }t<ޱgYZ02d1e8b9f620646f0e22545fc100b28233815ce2e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 76a68048e9407415394a8191e7fd2daca1c1bb2e c67ee0bcd251ed631d19ef058eb7768660ad5d72 647495f2357fc77023717afcff35ebc8ee975acb6132ea2b7ecb5f8f6969df02f82e4ebb961b0f4b / Pratt_Certificate