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 f/ dT ]% Pratt_Certificate:threads=2elapsed=19.153cpu=37.428gc=0.568factor=1.957zXZִF! )]ŗXf1-/6vR[3 4#d{T>9zmR,u QJɘ0@3ċf%F`P]N-W5I2Ǫᆭr럇`kZ IoƕOwN@v\|ȞZQpVWWq\f0!5i/^FbUK`x.+"#9_̦iÄA}晌u]r`71e/*v^*ŏ iqr4K{$R~0㲮m& <*eݯy:6 fMIubYZt{%4 44D[@(^K:+zȺ+t Du[ T,(+G9y%Q`6A t/C<)o'>Eo?"; ^eHQG'D<9;,׽u4{cY3Wz-ob'w6Rq!5!Ց`^L ( B}g5te%AHVʼʊ-YN>dX.d&^R i|,"x/tWD#aTrWs0bo0Tn4AR\L*y3*{Do[laQ5D5*iة]Tz"0.>:,`Exa$]| uԪքK;Q|㓊Lb[6PqoP |D9KsU߁f6_6w7GD]bu Oz25UZ:NrM0P]hdXxMΟ=3Bjnw~ 0Gɹ1sxZ4yEJJ uQϔ+3T;S`ff2{Knj U#yJ4hYe+R5+q3 9"PgYZc8c2535f37907c4f12b610bc489f514b2d5c8e8f0dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a 607b584e29337f48da7c2b7111a6e1bd83507c61 26fda83fb54b04a8509464a2469873c45a8ea65c cbaecea560ce2bdc6403e4c5ec667b0e900bc740 / Pratt_Certificate