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 0- 4 ]S]Stirling_Formula:threads=2elapsed=18.682cpu=30.700gc=0.824factor=1.647zXZִF! ]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z:?`ྼ7~DDγDg*P4?bӾhB@U+zw?H)]zچ ې.~s,ud'|{ͨl}DQ]|@5So: ! Tb{}NY\E`Cn<ʊ\w@ܐ"A١wzB(mRz rBC=gYZ7zXZִF! ]ŗXiɟ ؁#dN9ԝL 3(R2gL>rx3 oy}џ,"=CɇPp|е6@uMBKJiF`h+R#` \I 2TKTZ^%f@LʈzgHISdZbx.Rة903+ac9 >gYZ7zXZִF! i]ŗXi%9339@r~)#czĮ9#7TcG( uA)PGe[&,qF:f7x8 Lp9HDk6Xh2:–,6ⷍ #&f]+NQG }"Hf-Wqh>eMn!}=ԓ; "ֲG+nc&aoZIk9 } OثvʈMi8 N2),n)a"[I<+1-jě>Ѯie _+y퐊̔Iץ+GT(9}T u<ˤi͹D.'W=јtZK>>시Rh)p߰$",ǶQ<2/(fOU x˰2oTCX$m@YB;f FeB;e MoI7Z%!O)~wv$] @ׂgYZf0e8f196044168ea06d4e854537a00894e4ac30ba86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 450c54405b003d6f4b7501021314e5f7abe09d76 a1981f4ab585188a35b0c1fd3c9fac76f851f16527c6d91e87634ff6a95fb03c354f77087b7b9c4b - Stirling_Formula