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 @- ,< ]S]Stirling_Formula:threads=2elapsed=18.576cpu=29.404gc=0.772factor=1.587zXZִF! +]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z3@z/ƦFǕGĥ-m9x0{|G8 yO{R>DtJ ’ O U+ 7~K[[}#qEJ[QHn w΋ms4&܇2o^.ʟ'A 4}TZc8Ub'$ToY_RD0Z j¶=4HMxHsk̇M߇Z)n{!dˢР_[fPt&&vbXf3~L̃X9a}I1/1nҿ ר2B^)=:F f&>$Cf0&ˢ+-)Qs 6hdW9gYZ7zXZִF! ]ŗXiɟ ؁#dN9ԝLy ڔAX)eXScCyl+K(oVt8*g6y:IZX 5ZbdVR2_ hɍ$OźBn2yB-ʦե2ڶgm ]Ȭ|qdbMTOw9 >gYZ7zXZִF! l%]ŗXi%ήuZ$߇ zNu|$Y vBp$%$~u֗m|pn-F #_ ۈkä.ц̢nM}Emk`M8̶ U)ǠHޘ^P Dѳܷ^|x#i5FN4&fО;T驙c.Ӏ0B14Hy[c/x^f()vzK"֔T-vau39-;:ė{liWCDYg KlԂ}_CC.ahs|,57EA[ٯAL::f1f03sn Q(0 gHZ)_}A^A,n1$r  WFŨ I Cq̂5fm;rO.ދϡ ]<,X]T=~v`1o_`HziLMF>jBWXPGv$Է-D:?q\GWtxݨ02ŊT fkRڦIT7VAz":-X!$T?4۞RϜ58H2YQ5Ey)O6(U{?O"qqXWxrE$s wwڢG1!3 GXQ