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 AA<- t w]Stirling_Formula:threads=2elapsed=20.852cpu=33.368gc=0.944factor=1.607zXZִF! ]ŗXf1-/6vRZkBO&+p_% #*(!1qhV0".{\Pmt]o6HRwXbnͶhk$Y 6~J>T,eY;3ҝNN9d 'MK"lC%%[}3j,uS Olo3Fޕ@`r= $dp 3dQlzYXB!GK_(:a@BvԡJtFhΉxH%>ψ;d v4Ղ$43ju^W!SXDzHzJHgu֧| Q-aU9S#SNk$]71QքKo!rl ,'˱J֞tn6qąaFA[xKmRgYZ7zXZִF! na]ŗXi%6qS+dǕYoܼqRoٓł,Cîزts=f5QXn3jӠ{}lrB68HjF3Pbc犀@ݯji٩mRdWy М|(4qgq:ڊ) oT//_;:W\,IC#E[uqD^ rq~NGDگ_m-nKRdMlh2& ;UߋGOf,-J}[H Eu)CLBA|&vgɟ5(./(ޓ2zu^Axx61 vՋ0-%EhhP椺3gÓ/Ĭߊ'7tfC+%ŮcϪY}⪷G|b0|ŒI]eTHKR[_ @XQ7@Z jl"ݫ0^35h9D+Hԧ+sDRԸ:bFޏHyϜXإe)Pb=K[=.PRfAWoTt{p[k0p)O3t`NFG H3JZFY6Zځ>|mYu2P>spatT@B~bZFKY [Ty[M8 0%8S)Yn 6T͈4H|NC`?[YVUNhNYփvqخ /eY~L8*X[)bGuIF4a؅T' N~xsocj\җ|!toA  #b 2m{613̃LRD`]F?ƍFS .jzṼlY >% VE|~ @;@/זlVN:䃦3U s;MFd"  =ŵgYZ2874425df783ac8dae3b9b831217498ed11e140b 2a520005f639cc84917fef3d76c5280ae597315e 4fc523fbd1f57fd0d3e2201a74b96ca7f7866431 7faacea3132e19758d41f036c38f361fca85d9b4 a1e85e4292f747fbd7144c216e3006c246929a49 b01d1dcc9ce7dfd42a9d656977dbe100ee96f91e d41e5980709a88f90c6ee6b3765d0cf53450aa57 da5198fd2878ed2e8db2ea0b1375b17efc6a4c40f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 7a682a676d8a84f583e52b3d25f7f4b30d4e186a 0370b25103025af935263fa23188c7fd7c2323786e1dfa1e05bc436f1285eeae35d2557d6e390e7d - Stirling_Formula