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 / | %w]Pratt_Certificate:threads=2elapsed=22.473cpu=42.216gc=0.524factor=1.887zXZִF! c8]ŗXf1-/6vR[3 4#d{T>9zmR,u QJɘ0@BL gļ?7FV@g@kG݂J @`FF]}ȏG3PB=sBs=y4\| r_mdۄn:M1GPwŸ="%gs󗰔OFbjQG[4&ZO[ -3zP_3ɑv][49-4:Y4[f1i}vTe;¯0CGrgYZ7zXZִF! s;]ŗXi%d1mX9.<@~EzmvIr'UUDJHEz<@n3BKUUmic9e) s>?6Mt ˵.(T{` eRrcr$`n˻E"kaFsdef'o3[ ث9 lM5?T(X!$Ѓa0G˱x?xB$컻DDMf/E[mYG{44rSpLZ牻vd_U/!ZH(Սo­- o`~OT-iΔ/"# wŠ&2߈\PXGY1q3$ҀEij_u.lk16?Ig=uδ][wJy':![Rrn~#N ՇfӇUC=3,b&)YE8f+~, ΢N9UX *,ɶ8UEL\CQ:\'pGͽ_xY|ga(6:7@Ƒ@LQ4%E\$LQtSm;zWj4+9y{L#z:caQ>%|Yjl7\`[_^3 ȊúJ 7g&)½E>U媃X o.JEL/jhHNp%=7ـ#"ѫTԯ*4r&2!7[r*A=n@;_vؠ:NB3@%GqG_ej*G#s&WZT9qКh86,- nem¬UUK" X+y ѴYY_^ dd߳cwصa-Ss<1yɾ ^Ȗ}e9 qVL&B< M"1_-*\Լ@2Mٻ3sQf/r@O1DzKUt`nBŇRI }{LϾpWr+&7N!eF;3k~es W<w5-ټ ,N*l<"khW`Jű= }ϣ*:^?󽙅e`wA[#~דAރUDtsx 恦tD oE|9 kw!C7*ohgY VT,KKM~z˵|&3d:5TUC47PX$&+Kۤ' яgYZ2301c1cb824b006fbdb66a4d295f158152cd3b18 3e49f76c45416671dcb4d349ccb96f41d138c27d 853aa6b1c36ade2889faee412707bd981cd70a63 87a3925a58dd8ad2a034b5afb68d50f7e837f0d7 c84d2680a43d5ced39380206a1c80933c0131123735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 b840bd34dcb73ca75b618297ad581663094876d8 e3c339e8d89d8e30b8afb6425d2bafdbec77a1624a1a5a4aac378b951b95afffc0872bc1b458d3ff / Pratt_Certificate