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 O) \\ ] Landau_Symbols:threads=2elapsed=13.899cpu=26.360gc=1.380factor=1.907zXZִF! ']ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;^@ \Ovx@;1>Ը ݼY/#^Dj PchE7#C#zZ#t[/Z[HbNQ3ENCT~ٱ.n?bB > Ydu%c ao#iBDZ΀Q%ku7)̣VG%%xcڷ EhP{{}4IB"}#o<'R{7e-aq/ T)1HE_a^hٸޠC@@nY}VS>u?^c^XvjeF(ʄ_u9OQ_@SOk~ ru ;%֤Z5ʟɢ3>H8w9M;-5Քt(e,ddKb^b| .]~NJmO&nvfEaY gYZ7zXZִF! O]ŗXi%6q.P)\j%2jmt#=sKR/iV!h7mϺ(܎MV;TQB1nr&^ܶ©_akv84R#:}"2ĝ %3., zzڪQTqEIg/dNԶ yߗF>va3,R" a1\o<42-Wț!Eka yr+dqx@cժu im-(5» 8 @잝΋RPpoj~t} $ؠ9"3pN7ALI/ -L!=W _;/ɐ_n3CP Mda "5GikdafBIG˱GD_k9Au'x~q(]R5W.Jԛ%7CO1ِr$[FqDRQSN»Лzqٹo_X|sK *`O:fgΊ,9U)T&Fsh7LT9x_9jf)",$;,jC0»t֞<^A8,Qæ+lBj|O8Gan Q,_(`&5:2v2H<ڨ3[wJ̗O@4uȺ@ G|Dd=_E,[Qs߻[rЄ;+f)^wxK)U됧|VsiwaG*O@^بSBjNx"t 29W\?o%0P.il2,mWKtF9?bܳ%+_~lH/ag:<JB/ a^tQjHh* ɟgYZ7114c3ef21ae56e2ebf37cbef327b3f519ae27121e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f8 ) Landau_Symbols