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 - l|D ] Lambda_Free_RPOs:threads=2elapsed=17.745cpu=33.120gc=1.384factor=1.877zXZִF! p]ŗXf1-/6vRZVO[fY1@i3QHl%ށܒ,1jT^~͖#ѽʓFvBCeCWbwHu#dхʗ>$sDƁV;uZ1T+n tgYZ7zXZִF! \]ŗXiɟ1?ߟt;9HK?.>e7"+k+*T|Հ݆Ce fwLQV=B>#d4EQOe-Afg[ C,|WJجE s2o>9k76noÖjx9O+} GT?7&Z/ Yg_oB?g"$rSmIjki \#hI+X6tio-9gYZ7zXZִF! g]ŗXi%;cd;>݆aҙ~?loX[{eCb)&ʼ:o=ǻSGG:` *{B%}9dX&><49&r)܉(ٵHYXLc:} B!"Wo_7NJun03`'*ٺ,_8m 0XV&3X4 Nsm0cib7ֵɑ&'oPDF& D Ǥ%œʑ4K3i_+Eͻ}`8ljjtYpLSB!Iyrm%@FՋ8iXe`* Vd*c_l}o[<@>WZ%~16-J E#UL._S{hjWyG‘)`1lG}̲'Ph9@y&3fN9e`)XG7(DIec*`~h^{D61M@3Y $sY𾜌ЅV>V8i%rDԏU.nAm ͊#V ي? ;J =Q>;o3A|\Qa?&|{z,?Sj1m$?-ڳpq6 hG3;( E RC;j ۪jAdņz&OC CVFZCw:u׿s.2\9| 9/xa\~-v~La4dyXYr.$An1cBpONUÉYH{F֦\'hR*ԓ! Tr V A^vy7/ &Ntʨܼ^:/1/?)"ͬ 5-В a橷Հp$7ܪzNTe5```Qճb; 8C+ײs_&II8*[c䪧6!3Z1{ :)|OmF<86Td\I&Q}G!ތPZl6nS>Pޥ6Sj逹N !/RpT4%nRUi ]S/Nswщ@"{Ci kE 5g^gYZ5d129dccf62752673ea47fda423725499caf954079d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef 8e20ce849646d33245e5b8e0a39681f1fa96c617 - Lambda_Free_RPOs