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 ") ,|  Landau_Symbols:threads=2elapsed=14.262cpu=27.088gc=1.396factor=1.907zXZִF! |O]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1$gw(pwrH?sSf|3`0m]it&fT_V O0?z܏}uF6٣hS {oXT9$x)5ik0SI.PSS QӰ\ػ-ݘ!DPG6~[ӋD{e4O]m=}dLt3ޙ-OؚQ*+zAu"'x r󋖓} %` 1fnޱ; JJ0pI@؊Z*y\砘Ƥ\됙IriٜV +;Sg^^ ѓTU)B0lBT$A@<^L_n/s7՝)X5Dב{eӜ<< ιXL#Z"uT |^L$bJn5VϹi4swޞȝ2T9?Q ԅpYaN;FTO<>4AO5Nky"œgYZ7zXZִF! O]ŗXi%}\HŴQ( M Zʍ Kc#~k] Ӊ ǍgHu-Ooy ߍ!䡌$fDl"mr-Y& f`z\/n|$GB `#Ad vHYg :'cpK^}\' ఱ4(&B5- DE"XҌ5 ϰz}Y.!QhfJ+΁LM,mܿ/gTyY8(dTg9㈭(~z#IO~Vz8̄N|Ro E4NpŖ@@07Abnp07 {mRr NuΠVh8Mb7 TAgBv[>WW!K>CFz 7$بEr@QtXޔ'Cϰ85^KW@cp{Wo#㜕b1e.~ w[=2 nҒMzrgr*ZxtzՕbu4|Ê[ra7X͹m MQڊ5rLjiyHt; XnMN 2SEvh6PaAbal[BI4>h碓qGk']u,RcQaX@GJ.Tο LOcT1~IKL*˯ dm'HX>9S\zzvOri1Kn7Z ŴgYZ00397a27b716a17d9a023df60549d6646efe8e97 02b46a88fb3755427c4e37e0dfc37f84ec4a24d9 55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38 5ae3843a3ed59ab2457ecff50bd3bef97837615b 5fd67474860cc00175ce6967175273e563c61549 6641f2c5a6c744ad1c12229e57034e74487a313b 95801de5568ae6e8ab3cc1bb37caea60af70f7eb 9fbf85621a8918beb09c70d7b7c07df90b39b8cd a43348d7fa591933cf69de88f108c0c10b2ac9ee a770f7d436b24ff5736f6c9d847a64b460fefc9f e04cb52ccc6fb373be469de97c1ff8b538090ec40ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 ) Landau_Symbols