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 ) 4<  Landau_Symbols:threads=2elapsed=14.192cpu=26.908gc=1.404factor=1.907zXZִF! 8S]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1$gw(pwrH?sSf|3`0m]it&fT_"[x\&'2Sbo'$TAX#8f}J{YsظrOG5DչwN¾=4/}߉![L43)YZ7kCYo m0sg1_`΀%oYv5;({pnif#CuvLK{iS)U`ۦX)ueW("Z1\c2fa?;> nuUQ0`B1J9oG>=;G[ŹiA܍ wZݐYhI~x^sm]Wm0{'s,n =PA{ ݱ"Dު4\~&f^#.gU 3mj6m}E0B@ 1u8 O\9~ Oh9ӻ&cRRCAcU{"}tu`!Xq{$f4gYZ7zXZִF! P]ŗXi%6y4 _CUbߪNf1W-Mr !MU "SkdP`VNˣl](ꅪ72o*1Ck'P<&?) %) IivlI +BsoQ԰(Ma_S5>J~u>I!)Mx" e8nBw26m! oJQ -2i#d,X3U,#>\S."ו=zVtA ?Tw֑J Šg\ch+z?hH qLjAxZ~qhn_g=?~@ #RjeOmliro<"sp 8A${9~ ";';;0h 3ʩ%ɑQvczٖbrlcH>-t+m|24s ;:|LӎdBإ B|E4,SxׅXtgGcυ,#h{0 GLoE0-+xZxtEݸ٩ l [|}qC+Ύm'^titN-UE ͙} yam\ ّq+m:mL t9Ź'u*U%ZW~U: 6V,V)Vldxf+<`}okuؗ14M8ΟHpC؞T  kxsB7ϣy5.{%5'(RMXqUj($õr_}yv1n~T%X.%6mN1p^ 651=&Z@U$iDZF@_)t6jXg"Ku1>lZV&Lդv9˨ejl.CL~qƴ |dy/kU>=(::TH?i y'Vl@G (}7fg2KqKbFxm}Ս U#Fߪ;9gFpp`\rr3_W?"Bc* 5/͗5|xՊ,}Ok^FW巼 ^-ȱgYZ00397a27b716a17d9a023df60549d6646efe8e97 02b46a88fb3755427c4e37e0dfc37f84ec4a24d9 55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38 5ae3843a3ed59ab2457ecff50bd3bef97837615b 5fd67474860cc00175ce6967175273e563c61549 6641f2c5a6c744ad1c12229e57034e74487a313b 92aaa605956acae755205308c07222f15b696cc4 95801de5568ae6e8ab3cc1bb37caea60af70f7eb 9fbf85621a8918beb09c70d7b7c07df90b39b8cd a770f7d436b24ff5736f6c9d847a64b460fefc9f e04cb52ccc6fb373be469de97c1ff8b538090ec4554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a ) Landau_Symbols