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 77F) l  Landau_Symbols:threads=2elapsed=13.778cpu=26.104gc=1.296factor=1.897zXZִF! 10]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1$gw(pwrH?sS1$e4iE wnI2 Velh #i[>;BV? ԁx,p ETjt/Qvڨӯ] Y:9h/& 2Fw82O&S T֋V3ؔsU)5Vb Z FZs52H! ߌiO{XuZZG [Uj=9Ċ ZO'f.nē9}R&j(aOߵV+ flQ\[Jñ!fTvhc<+,d=q/}ʘ~Q>i^ |q#' zǶ:yDxl-x`p"B>e5%>TҰGBx5x(ṡ'}RL9isUInBUԩ-wyNWs|4R׺ǃDE"]X/9ݼ<*Suׯxm9UO}fEzel}Ǫy" %%K~o_Μvv/ssld6nX&ݹ2Ϥ2W{hk߸I~/-kzb%Iy)D8CC;Tdz~JхH:-'=@,zz;YsX\3 Y>7́3H(FƮ#o M*aG#e`(fRqg6zv} ;ȸy %Z'6$ӼLed`fX7qP:Ր"K%|_,)h7&OC㵲2"y;ۿ{$Cgd9(.ω5Ƅ3GtkV~x2_Zϥ_ qvaM/Aٞ"{T (*6^q"r ^x|B^Ԛ p |QjPlpe fY]ǜBk^źҔ'wTt9 )>j ߼o=cLo?I5b Ɉ7>D^=wYDq#$8͉/Oa ޚ vmjgYZ00397a27b716a17d9a023df60549d6646efe8e97 02b46a88fb3755427c4e37e0dfc37f84ec4a24d9 55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38 5ae3843a3ed59ab2457ecff50bd3bef97837615b 5fd67474860cc00175ce6967175273e563c61549 6641f2c5a6c744ad1c12229e57034e74487a313b 95801de5568ae6e8ab3cc1bb37caea60af70f7eb 9fbf85621a8918beb09c70d7b7c07df90b39b8cd a43348d7fa591933cf69de88f108c0c10b2ac9ee a770f7d436b24ff5736f6c9d847a64b460fefc9f e04cb52ccc6fb373be469de97c1ff8b538090ec4735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 ) Landau_Symbols