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 5) 4L ] Landau_Symbols:threads=2elapsed=13.577cpu=25.944gc=1.432factor=1.917zXZִF! ]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;r_E֦,%-O(Wʷ4п\ɕʑM2^y 8p+˚^㠽\FCpe).YpMMbZ,>5򥓕XR]\˂`_,]dyFälq`1{wf7.o|XݕS8mZ>@R];a.Cp'Gɣk28ivs}婱ڽd缩g?I,F0t˴@v109R*̴맜LUO&ɋ]' ˑ/N8$<u2>?"P {hz E]gYZ7zXZִF! ]ŗXiɟc'od9m1 )py\n۬Z`QUUbp3 Ss.+i"u#"ڪ`YCEk_gOjx lkW5]XLHk#JX4d5:sջdr+G3,L@KwdH"PpűgYZ7zXZִF! M}]ŗXi%6SwS׊t[w)͎ t{Bmc11>C![IUIVc"i^"SO*ЋK,!b "i-:3;2<'͏6@PRLT3=#IƇXN7Z}rېMG(c@x\ЊcX(#&NT8n!߶e/! YO=Ģ8]U i]9d ['PթxEI"Wme|+ԽA+$\x7%<;RjR(ϞuWACDkq++ĩ 2:Q@Â`@v!iԅoFĎtЧ]L>r[moW}v2 Kd()db@)|{T3m]TuHW,o:{ uS-vm]8C@.mFVh/h yZNd>!9;IHi_KN?jӉX凟*MXٸ:5} "zD#H&NpjPo<'mHrbC#8My H)˅uX<>A2r/q;_ Za̴¢xt2hӝE <ꓤYdrP oij= zL%cK.&ʾM9H f"ک"홐 zvcG 7&[X.<k}"cF'}!i##JPgpl~#VXp"8߿I6XL{4K,{ɗrڝ(-.7 (c@擄[ۙUGzu&@.Lo3yldkdt`)sXq.d;Z NagYZ4f5a91d75fe3dd19126fb06c23fbf3323c4a5826e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f ) Landau_Symbols