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 ]S]Stirling_Formula:threads=2elapsed=18.166cpu=29.172gc=0.812factor=1.617zXZִF! F]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& ZBj)@-K&+Pc̥trJUwXI E-W!q@^r[?FټSo+"r~<^>`JZ?U-X}6CوJ.PhАIEVC9\ױbFx]l'e!H?n2g1UCL*iaI%BDAf)Y-96~~yV%߼y3ԯ]ra *(E'8#f9P#.]~[<fL>&Md5nB4`36[8y ē킑Z&z% 2Ą;bMLoDqdns\\v5J\b5gYZ7zXZִF! ]ŗXiɟ ؁#dN9ԝLh׬#i|y\>s+?e:B>=[{rcp8'ɝO^ip= BJ%$(d,hacEZur7֤slP="۝a"바~3bS+*A~&6ER o>O7-zOWUgYZ7zXZִF! g_]ŗXi%90øp̽fC+|U)5O"GˋF[t+ Ԭ¨VsDO9{x0 "iAf Fn1m|r5bsԆn:2s" /}?\zŹ)k>{#ȦL NhAV~dD3?*YNA7|ԃr&M}9 7FlS&7ĩ (W735/B#e~Pt 8"ȖlR&अWub/L 8UcM\eObwev׆oI[vDӰݪ~<p%\"óȹCp%f~j(/N5 v%.7&r\aTtI:~>N-ɺhf;zv| Sx*n6mK̨RBO*}Ŀhl~L::q( m QI/,:SUG`}vX\,ǞXj6IV6 iHQ(yS7_i7ySTΐ@qoHД+*4IJ0`y\?M 8~sƽ`vr~M[B]= 2qzG=$ĵNgt͙nL+G}^Nn[w;5šsܤic!aIiV*t<_q/JA]!*!!ߔN*@D/9C{c㹷GY٭\.J)T(@w6&jz(wp|~LhV0 Sǝ":vC.Na#_W 5gcHl}Xx.9<4cj S."ؒsu@H(6%{{8p;aN 9DU<I|Yޫ&pzpxR '@(0E,2aҫKФ"uugމE-kVzۆD/S#-d֝0Y󑭑Lm0^`@7ʎ)`0nn4=8ġ)$ίk>pф}nSK[n(+198ZE1[0 ұgYZ1be672cd71da79c2fc060584bb3b852b390c05dfee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 e80462241ac3de8d4540cd4173ab1f28a290f55c 0e6de063958d39479802973b81910a8219f56429e9a6968420e676de931f197b36ae9fb296bb9830 - Stirling_Formula