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- \d ]S]Stirling_Formula:threads=2elapsed=15.614cpu=29.628gc=1.000factor=1.907zXZִF! ]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z:/l)yV8WfzUOlOʡ8 Q`4 sFud~  5z|L:_wb^;0/eE j e}RKJȧ WRH0$ 0l.ybU@S䶕ٝDnʙQE,UM _W,0Z{ Q.ngYZ7zXZִF! ]ŗXiɟ ؁#dN9ԝLfM?:k\=Ӝ73vc  "S˲1{RRvOA*r.p~_K."i{6;^ގ̕ڭ#=jaDLѸ+zNFf B,)*`W4@ϱۼ9 >gYZ7zXZִF! [,]ŗXi%;ţV,i_4c/8ksQyK-9RR:\/h9-d@H},Z-kZaEoY3x,āq-DfN6}PFv@@z< ޶=ČNJ"sKʠ+ifTz@$xgC3nRiijuD@H:t/E߳φ}0@k ZB?PCO||E-s3M͇F q D4Q{*\v`HjOqԢNbNtfFCJT $XpU|O_ c= NGłrE\~{ZA0l.,3Kx>ߘ/X# ݇C_rL@`,x5VԾ ׎ hC `n8 p9hooӥjELK#,ݕ)%1:ǔ#LY wQzTO&hƔl{OP6|B 1x׋흷]WNnISR~&5& ![^pEZT?l!*n;ag\Q@U<Ҩ) .#9-zDF'gY:iZU6Sh{t٦|y$(`U#\Z)3*w6yp=lqͦi њW4~2gwFs۾,SK鬌-5TɔgDu_zWo|ElUllOdygK o{A iDӫjX ;Do3j"DRȴCbbALMs:c<Eؼ%Q5up?w&ڞ`̴ G(\g+; !bntb.HZ>PAg; Ծ}P7ͯY0'h܄n#v<'sj.?[~:=pMVMp[JBs$I*/p gYZeca253a43055c1304bdf83a60d8532fc20455de979d8e835726df87c7b301a8f091eddccadfabbca a29a84bba8aa29c804c447ecf6bc83360b3be33c ec674435ecaa12dcee5b74ea1d46af0a9fb15bf9 c34f6cb7ead6b74e4743c355130ef696a9112ff67f214c1f300981ad8ce51a53ebae0546882ee2e0 - Stirling_Formula