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 r+ DT ]]Landau_Analysis:threads=2elapsed=14.588cpu=28.040gc=1.640factor=1.927zXZִF! n]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;^@ \OvxQ1X}">*(+\,(2=r?=%?l}%8Vmɣ*V5 j_ԛh4pF}@Q譄(wk Qxq-s|4H* |mmpAU;rei9N-PX膗<$=`?=/[ҟ#ۜx*Vrju#/ d81(Ո?iii56eH$[7JzUyc0ṅ`V:lE7BX@>O g: B߾ë"Bv҆N"BLQYbd_;̜g`cK)'i3[ÀaVl>A=?Nr` eNj&8ZuW*IĎgYZ7zXZִF! ]ŗXiɟc'od9m1 )py\n۬ ^x{Ao&C +F".W~-VR1UKS)ektIj5L# Ti]])LTm8P4uAkjG6DOWFK`  FYQw[趏U0a)9͐٤a]>E@'G1dvf,q[&-ڿ26m]la&2ZgYZ7zXZִF! D,d]ŗXi%;8(&T#$O_-|[ĈY}nWhb8JL8끧(Cˁ åV &=K@ NKT#.3bIâknh׏|!T\3֩ Ev,S=MsՎҤ> =% rBZPΫts$y$UK]^HqzjR[(3.>&`[wUwk~w\Y@)ÐT!DQ= 'R IEAr5}N}E 9 x#R}[asc$\i<)=gcm9i/0y#]#L_OU*ϖSxvC ?X O "l*-H14[ ){ ё`vB`FL*J΢x~Ma)1(/[!唢Xq/*8&<ηJj+B`ζ'Yk[$(R.:>9w ޺5&|1؄vQʽ8밠^L^햡v8cg;:@F4'ml ɂtSK əgYZf6674226db458875b33306a90ee0362fd82742c779d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 50d7567ba5f079e933f9c40588fc7548716f71d9428cc911e05c4a9809d37ee5bfd4f98160d5fbc4 + Landau_Analysis