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 _7 4d ]/ Weight_Balanced_Trees:threads=2elapsed=18.788cpu=34.924gc=1.492factor=1.867zXZִF! ]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsxɶTtmEaqO!͆]+K\Iyp2;0w-Y:\漴~RrZ;H! edR6 .[:q `&1m6~p O|{(ZNΥNZ^sx^㥄 K;[oٻ^{r8~?K!8v8Vy 8QJ+_[?cH#0}ޢcF٭v/:Bf&X?de pz5'2ףx#WOv9x"QKMkS e"dA|NX` vQm $iSMD=wbkخQW! } XtkPO8d0OZX4V @D}0 Q3M2 Lk7ӖeusAj7]3&t8^hhrQvY5uD døK5 Tx^&lV孒wk76Ub1gYZ7zXZִF! []ŗXiɟ㶱4ܵSęҸ?c-;#:lH>lkw> %( +kPBtXfi:B6pqb? WFc(T)-dzv ;$r)Q쏌IMUm %Dr+3{|g?}L t?1:d¦cY"Z?JTUEAlVW%5U$͘Ex矱gYZ7zXZִF! g~]ŗXi%; 1H݉ż@_0z 6R}oiJU@ Bu,F*?6`0,^MP>pZ(Vwݠ rjT$1$$Ih_vMhfqdJmW]^n;~.kjV} t%PBL^0FТߨǐˎC^!1T_X$G3)9(L'MZe|*O76;)>׌b$Mԟ0A ŧ8TfO{407q\G1eWQƪ(oT;yldεһ2@Ē{NQJ{.WlZվ퇗ɶ`D~_Z.j I,"?dѣQa0;MV!}$@z>lF [ďj!$R<])6ICg~2Lvvm-F6C<2O oXTnQʋA"U.=څrh =,d&g]|fٶn& 8Uk^XgSx NTSTW m';hK'vxM}4112ȒG.`RlD !^Fx=B8M#q0rIXë.SG8R*JyD Nk \Atk U@JsaF-_uòY_e$p(?toHՁU }@C29j2溅q`lHl_|'@;eo~J?rdTnnd̹kH*3b7?ڵC^cl' raٮ.?s-lUK9]44S%7`sll_pۺ 0 u9c(':^B]H'A+A8xSɰ(ZW{?%9]1P eq[с} }ghH 3dQ6]W!di;E=NSTGR$'_ |\Zi:Cu! bVgYZ0c60487684694d0c51f2440ce9558519ae27c77579d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 7 Weight_Balanced_Trees