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 x- L4 w]Stirling_Formula:threads=2elapsed=20.129cpu=32.484gc=0.888factor=1.617zXZִF! ]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛sCm~E:kq;d#%  2ӑG%m዇'_QZ[޿\*z3q:sQE8 HN :v~D[M;zqp$ φ6Q7x`Mo{tL dbscV!ޑ,g!ۊśLl#Zr®3FLR9:p.b_:^#MަBbSVٞKe,AJF{fwVJK6;-yc;Z0YQ|}g!%7TgԼ-z7gYZ7zXZִF! l ]ŗXi%6SK@f}Z N׵q7ȋ4V$(*j8kOkh2ժO2c[NÛʺd<oěfkOs}scdĂ7/^6Gdqc.$Tʛ &>7ngx] ^aU?)_L/(`QWz=Vb[UZ0rҨgAn9 4m'rG+346 ~WߐU&OXK1֭}&OzNP6~)SWZs+~IW+8UUHt~g'LvRաK`fY WhL 2-=c FK,BxmDζs/#јW1%JSD"t#^'ό]ƷOAF }!gYZ2874425df783ac8dae3b9b831217498ed11e140b 2a520005f639cc84917fef3d76c5280ae597315e 4fc523fbd1f57fd0d3e2201a74b96ca7f7866431 7faacea3132e19758d41f036c38f361fca85d9b4 a1e85e4292f747fbd7144c216e3006c246929a49 b01d1dcc9ce7dfd42a9d656977dbe100ee96f91e d41e5980709a88f90c6ee6b3765d0cf53450aa57 da5198fd2878ed2e8db2ea0b1375b17efc6a4c40f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 56381e65d929be2b28a6c2758bba2a0736db6379 29110a4e09e200d6dc1e9ce4b375890a6b2e6a91e75d820ac5dac6afcc211f8e179afca7e6365a68 - Stirling_Formula