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 ??>+ \tL ] Cayley_Hamilton:threads=2elapsed=16.606cpu=29.548gc=1.360factor=1.787zXZִF! ']ŗXf1-/6vRZy`ج] tv#[/ ;=!{FfB`UfFjkM3h@.m`ă^Ҫh҅ ?u1=!T.e0* ր^RiaFDQ%q%ĥKD*>jg6g< R;v:pcH w"#;7!*V k8OQ9©< BIR|O8hH1zMd[ ;N 6<r|tȉo-ݜcu? n9bY?# H " RA[JsuZm։E} v^S`bN{X Ē{OVMє MX>Laf\VfS*1 @U[:*in<vhU{ɼM.Wxh˖@9l}^VRgQ"z{P|s Ͳ:c/ſ{b=^uQ@V+4kDԯSgYZ7zXZִF! I]ŗXiɟ1˦r w/8OA~ko 2չAӐ E:+U<VҥWpOl ԩ%R^"2o+ +LpD4rhr9jH4I}'dh=r݅Ł Xx}J~{H讵 gYZ7zXZִF! []ŗXi%90øfevCa?Ec%{1M%adwω &RYyُ:S[ܚ Cko'UrQg_x5+O8jxӬhX}$Sf` 㗀PU[* Jm[ya1~Hf6_Fw գ% =}׍SotDZ+`tZKe4(\}m qkO$_BNk2KVL2YP^&*(>Q۝b̪&xe(hj'S6H /o#6J.&*,vyQڭ؏mFJvtahcfp:ZHbT:2*>z컿/8h:.ssZjZD)>kX-`*`ߋݴ@WNn'rnLҎ_N[&!Nf6㍯wp:pǬ)L N| PՖS1>ݠ)(tJ':6vu?fWO ((cjw&Jmz|%}%V,224HyV9(MxzN%VorSn/,r(|vqn$