SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 7/ o J?!$ЙzT׫BbMfkzv}BST.%EKp0J/D7ɷ%)mr^nw^EXbI~x / Pratt_Certificate*ḅ$'-lNɒ`2305ɀyb4(Vc~>{`>f@y7?/Yg: *"QMddourDInفCK20Fё&<,}L"׻ḃܸJ跨Imo9] Ͼʛr\OI0y+e#[t?U _`BʢvS9E2<"إʔ2TNΎcݚ@\X~ʸ:`#F*p{fzcV ؛P߶ |N=;S@dotse]V [>{PY [J:rahh9XNhQ Y+Xм!u lUՌ ?lC/`#F\vkiG-&We5Z 4<~\׍=Vq2`" 5YCI۪+$=3ĿUz*OOd k2a^M_%$A(đ$^gl/IX30~>F2({ Wq|?\J$w/-*}btՐ+ZxŜĉ_}w# 3ozhKLO̓Pmt1Ҩ"S)M𤌈R!x7" T\y f}ФhOy ^"~:`r?KߪR{dMU(OA 6%\mXotVux) n󜃢3whqD/紊 <)yA ]ɟci+Ų͑yݡIԊ[CR7WkcP߮N?Nj웡,'&~%à2p?-^0DOstBmť{^ \䚙=CҁlQj gѫ2UCs./N't}/z~/݌h9C_Z6`w!aT;˺"}tQS~(t%{O2Phe,):&`\>]Q"4X(M}Un4x#*x3GIjlDgX hI >m{WPW'Luԏͱ1O]5354 2cAHh7>MrQI 9$mC5ݫxR8H(a8,nwIC.L|U1\)J.|fL^m ˛gYZ08f0891cff2f74fd97fe4f8d9775b4b780015337 2301c1cb824b006fbdb66a4d295f158152cd3b18 3e49f76c45416671dcb4d349ccb96f41d138c27d 44baec093d30bec4af6ab8a6da185f226cfd552e 853aa6b1c36ade2889faee412707bd981cd70a63 87a3925a58dd8ad2a034b5afb68d50f7e837f0d7 b909f3f92d8540ac3ab691750ee30dccc7d0a6b3 bbb1b4ff6ffb7ed791938c6e7c437667b7b3677d c6595eb84f7f5b6ff8cf51591a134ede1855866a8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 9b5e7c504e935a87eae2871aa9a83661e530b52c ed2c3f0f37e073fc52f18a6441f906d465a18c9c