SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info %) Ld  Landau_Symbols:threads=2elapsed=13.975cpu=26.812gc=1.440factor=1.927zXZִF! ]]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1$gw(pwrH?sSfwJ]k{Pfz&= X:QA?^NkXm>Mpp?\^6]Hb2\_ ) Landau_Symbols.LI^V1X~fɸ0횇;?%a YǫklYQnTMaQJ;!cOɎV*ܙ΁L+i #IT{ċc HFb<*솹_SՍ>GI((lX??>D`]*ZqZ/8F~"8+tgM8(@}RdsN?P¬\Ȁa0/mt,R[P9}~0XC#7g>YuՅ_/ٌ' ;ȴX$2!yYQ1aQ$x79HC4<6+d8Ɏ2Y6I k(q!ѦK67Ȃhf\a|e˴`l_z&$^FXSD-эUB-E_xJZmYe;ё3Kp(4E$xirTyMƸw%3:W&gO]D^ӄ:'/!] gYZ7zXZִF! O]ŗXi% cUc@#bABpvgx"!#wqK̭c'WwwtMJ1mI;460?s%Z)5G |0*SBQf  9oo6;us۽5(`‰U9?S%+ܗTA^ЊIR"X0w -Ӂhl },n3D8MNƪ۸`~W1+x+5OD'Hj2()1 z|\Cw nS8zʔ|{8nJ Un;3/0kt яXB,rQ2˟DMBKE _bwF @"C#یQgMl;:㏝3BVgKN1Bm^o޼C{~alxWFWKj{$)bQuK,E.ب %G_ËArʖnd#bTjXGUd8X%`. R^j++^%T:;O%1/t\'( ߨMNi Ktz Fؒ8w,zdצ +G%u\& SlSX 9 ڄВh9JVt覎LA]:,X֊%B}@ܺmey_r"- -@QɵUo(\LolQԪ5&ϒ F|zoD$,wꅟvx-0ؽE FA.ęǭ붂NM=PrL`>ygOt{)Ztz]wk|2c UaiMЅ~RZy n+ 7(!%,/Ȃ|73yP+=PISMLqUªsy5 pAwڱWp6oyB05.a'\+u@"} *NZ