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  - LT ]S]Stirling_Formula:threads=2elapsed=18.099cpu=29.496gc=0.976factor=1.637zXZִF! ]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& ZBL+M>O!#3{P[JTD&A'sJoEp ?9ÂOiwMSDTXC(iJ1ޏT۵;mHEQo=9G  [M }v.˜.?q!`@v[sXwzkd%ND1 ZղG)/{QN" |UN{+w"#z2(c8 D4wUbpgy]`TPww$vwz,묇͞zfhJgM {0.!{upFVIus) >9wd%OĉWBf &<vLz@TC$wGYvPUDžX$Xl34~YzľBS2n/8mZ-)ċQbf=U^no t7O8 K]HGYG{gYZ7zXZִF! e;a]ŗXi%;MJJx1]I] ub. s&GgC撔 „@Zk ҳvW'w? ffԳC5+F^QCq{l[O,Rٓ'zj.]s3LFo|I]ڋLB/' .Tb^DhW}/Bp9pyezpM Wø~~"Ɏ6FC',(` ˛S!p52繆^zmL0+H.Up P՘S!maF!9W%us? H{9B>?w2"[vmQqX*n]m[#8Tk{ڪh a円9eჳpfnnor0;C*EtPɼ|ז@I}м 'Ѥ%E@! l3Ð"1)爲`TdX)T+z_OWD@p_#3 - B6!Khn1.|kRpy$&{FuLjl&ъRu *fw?|hlg x>K?"ߠ 6]{r)|4Ϛp{⚚M!YyDJlQ/"q(ԉ0"qM>N} 9r:?Ym19@4'ߨs +0^^%jx% 3 0],6An 6U2eX9s1枤{ѯ#+c5,KzmɲX3aʇ ڲmw`xI68։ï%m㳏0+_O|ھ,e5f D$Ejg@ r&} NngYZ734b701697d878dc8a40fc10f211f2c76476b9fa79d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 50d7567ba5f079e933f9c40588fc7548716f71d9 428cc911e05c4a9809d37ee5bfd4f98160d5fbc4b9d3598404979f2557bffe1323848c2b6308730d - Stirling_Formula