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 %) 4Ll ] Landau_Symbols:threads=2elapsed=13.034cpu=24.888gc=1.432factor=1.917zXZִF! ]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;cQT@ \F.٪7LF $xz1S3 k !dm;] O -{&<jZ}=oyAT?bO;c\T(@ 矟՚3I=)_&.f+Ǻ_c %PGh/5,ps#܆TP܋aY;ZߨucI?nɻ/sV:_M O Oء3Pc+;2k 101)n7Km]]@n RV. >F;\{?aMB'#:s=6nTda\]M5qVV1ݚBƒT?#oj}P~3]dh5GZ:쮆A5] YPTGI^f ׮{(>(LvgYZ7zXZִF! ]ŗXiɟc'od9m1 )py\n۬N i$  wj=Cw$d'$|GPJ2%E`ʻQFgz?{>2a.V]3 B0m04,QiSXs8C&CsDSxxrL߃d k0\v;sc=@- Ź?u )gYZ7zXZִF! KEo]ŗXi%9#qwxuܾXs?lM5\"rFD̈ %T1}4Bfij%g!pCQg`q $EOͲTJׯu굜Bȑ;1NވRYU89'GfQSg?u{3V`r ,F-2yt>tMųsEMqa`jWJy+w8ŬnGHU*qX69[zCOM0Yۡ\9JS^֎QrLޮJ(|`gC*<\.; a\Sit 8UA+->oxa]g$^Qi檤˰ ʣulsA6m7YAik%P a?ҩzRZe!B9ETE# <TmFDIu)M94T:7+&=yB2V,WW[K0hU. ćkn1a2n*ܾTe3إ E'qzɋ榚z"oO&Clta6g൝Aӊ6fo #(γ8nv)X>Bzviʿ[r p4XePȪ|zȟb?nwucs:Tj$%G_ =ͪdEnJ2*ot. Qٍ%X;ᱥ3sBW29޷k(&G!(&(elaG<0yH=h}.+UtJn[往>*~'F$ sH{R;jL}3`/ 89 `,%.< !,) xENch *FTN1;V,ſ"[͋'1;y [*{Yj5qg-x2/Dң,ԑ50qJ pZ_){`B"j!+O O␯1;op \tj]^{{ٶ33D\ń9_Xz7<- Ɩn gYZ6de7dd5e4b512104fc0eae37234498029e68c5938ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c ) Landau_Symbols