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 ##Z/ TL ]% Pratt_Certificate:threads=2elapsed=24.962cpu=49.096gc=0.588factor=1.977zXZִF! ~=]ŗXf1-/6vR[3 4#d{T>9zmR,u QJɘ0@9"ֺ3DE\(~%{̠;6f"7c҃rF6KDR%9Ġ304[ gZWJId0MgMQm>+2anxA\oQ$ҧ'KTc"^{-޲u$ U"imJK`32A]^GGjOk`*:ӵY2zB &jVI:i}wMgYZ7zXZִF! b]ŗXiɟIPDOB`7"O|cH"wq^Mm75u/C&#ևHaЃD@]aD9a"xgb~wѱgYZ7zXZִF! 5]ŗXi%9#c_qT_%XjuJ\0KA)'v̙'8GhFkmR6Sp { 0GdeT;[,3M=_ "Mp͡ƤIufv&- ҅51Fih v"ϪRfFӑ 77CÙ\!dܐʴ8lT}_}pL0TU| > "dkr fy>oBl @OeҀt=$- i €UoY )Li?eG8B RͲꅙVVrDID>Z 8##{'S/%X~dv4>3yif C0vX+^a5 >;_B=f2/] r.O9K3}!>~OT%':UN}G鲫xn^d ~&yo4X'$V#'\v zFTXL쥛á KHYG 8\i;.^!SFWVo[i:J4cR_A&]vY857\ δ1Q"ȰO[g]/FRéhL1 얲NpzJ7;yxN[iDio[UeƓN1}4i8 bA2>414mPuL鎤M0lZ9IdmgRHF5OULӇ6^ bX\f}8?Mu.Nb0 8gYZ8d99256d2c52cc365715c274fb3a13e194c58adc8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c 3ed685959535f1327bdf7d26aedd8065b9d7bb35 025b970b27954bb0b37f9df5c5a593170da80c50 / Pratt_Certificate