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 ee- , w]Stirling_Formula:threads=2elapsed=20.159cpu=32.416gc=0.776factor=1.617zXZִF! ]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛sCmqHn׍đ{dI}QzYxH*?_fF&s_$Xɫ)YXgՓu}Y`cY!z&yL9މu&&x(CTX|Bl"3gYZ7zXZִF! l]ŗXi%639_NK\MEٽmT u,=pu(\BR@ G[YuBI\ lxd8oKa%_'<'Dt:Slٵ8IF^ccEEFfC׀CE]1)qQSp#6diL+:W7 kduGHYEn^;\|JU|7$x(wMy]UЊĜ1bB{`5. 5@Sș${3Ϡu92пa Js0z* g\9p[VnA=PO<(<M>k$tw:3ěك Ksh`ې410)vAu>Ft-~|3{P?*Q+^#o3x(shp؄ SKŘ3zDӑ6>6o %v{@>fvLJhpQX M;nUdw09l; 4LR)2 G4RJw;.WSHU"5۽@ [pG5 yGn'wN V` I]RAWv!"n֕ñl98ۍOKaǟwZ@;^1Y5mEF=D]r0Reagd@{?r? h;Bޠ?7`e3H|EG]X1"; Ʋnv"Ib/Q-OeqٝSJxVZ> 5y5ǯPSJ q yM!Hn\&ēkpl^`7or\p#Z]?vX42!"251yy.!FDB3o=_Cd&ZthA(ZNIcDwz.`0\alC{ěkw)O^"2ly2@\=7KC/n B W#袥MPA `@,C΁SAYZm)7{UZ?bjT(G&'1XHޅ@]c YLݢ]=;dy&*ڻ,6˻0ױ`j ̫\},iprdTLKP ] 8]E T9 ɜFˡN%#![!EƚVi'z'Nv ܇ X/`U&M3-S[P) ,VgYZ24ad8353bb789651851d602b1b6ef55a733fe8f2 306614ae7e125cd238a3bba7fd3fa5e2d2176f65 4fc523fbd1f57fd0d3e2201a74b96ca7f7866431 53c6fec8bd0ca1122e97880d460225de71ccca78 5a5e1fdaf975d1e550fdbc34edfc57f71789cded 7145a0907eab16c73259da06efd353f991c3d12d b01d1dcc9ce7dfd42a9d656977dbe100ee96f91e cdf72f08c9cf0b9d3c555ed7ab2a473d8ca6a663e4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb d8625272701e7304f76db642b7fb0e61f9b07c0f 4e073c8ca9995e1513fd8205e4ed94aaafa60a26 59803954f05cefc5f62ca1ab8b43e1f15a1eedf5 0be52e0516a877f2fccc8fad43423a3b25a625906daf038486975e7b263fb775f4bda47fb40e1790 - Stirling_Formula