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 |- t w]Stirling_Formula:threads=2elapsed=20.720cpu=32.936gc=0.780factor=1.597zXZִF! 0]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛s7ZcNw6pڈD޴Wܫ8[DT>&@ d7VGe\4,.Lv irCK?in1!uqD\>kN]Z?ؑЫAیP1\\•󎭦]61_Noi&vTeϞGd޾k &7GZ&9/hNT534:5A:'gcߌ ٓ7&"6uF>_52a3io=6<=MWlgs'ɛn`0 Kb[?|1f |i}dcJ(Zig>~/)ɒ0(H]'i|1{"gYZ7zXZִF! n]]ŗXi%4cVik!%SvY,7)Lj5uGm sk~f|\;<%G޲|fj_r<=EO@Q_3\]=7C}1d} ~WyGXqjd l 4oJv0?H^w$hEqƲRFTarА\!t G҉j5^\ f 'Ke@^Ue=u>0 +=g~n #%SE" jH1ֹ dDFY6шK2eT`gA98OV;ߞ́Y2yABWU?8*c|L#Ywg+L7-FeDᬁE=<[,1G-wiIr^9o!cYac [QQ*k|W?Ehc5)ӟp;2=s,hWU[8O$f9-)Ue/Y|߲vđ_l֧_SҵQ0sօ34]I3\R`ے7s`޸h'D2.N<酡̋s{wY.IGIXc%P,ߍqy޺D^ʿ$<:(r؍9Հ0,%_lt{~TcQ[UŢCjHeMZ(vC7W@:~-ddؖq9xF=}<إza0Rhc- .E{fEbOR (~*DϑJ=#m!f>f 0Ry*e:ۼ CI$KD[cI5XL"EpS4z>ݦNEeu|xRٓwdU\~ ps,or+1P]>؆\vc:H%5"]avb\:Ё D޼2G;E@ ǚgYZ24ad8353bb789651851d602b1b6ef55a733fe8f2 306614ae7e125cd238a3bba7fd3fa5e2d2176f65 4fc523fbd1f57fd0d3e2201a74b96ca7f7866431 53c6fec8bd0ca1122e97880d460225de71ccca78 5a5e1fdaf975d1e550fdbc34edfc57f71789cded 7145a0907eab16c73259da06efd353f991c3d12d b01d1dcc9ce7dfd42a9d656977dbe100ee96f91e cdf72f08c9cf0b9d3c555ed7ab2a473d8ca6a663735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 87d272d7a214823a6656954e4786f6c505a2d5a0 f3c7b3a34f2f0d70bd66912d631894e7c954e0ba32ff232b795685c34718f8e0db1fece28557f44e - Stirling_Formula