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  > >?t ]/ CYK:threads=2elapsed=4.885cpu=8.964gc=0.468factor=1.837zXZִF! ]ŗXf1-/6vRZy/``$%'Yx3zK_" d>x5Lq+sf!} x *x%-nhap +THBP|2s~" ^ahbYOhD'I֮-GS°D]6si³<3Qq+>FJ4y z .z{ :rgYZ7zXZִF! ;::name=CYK.CYKelapsed=2.745cpu=4.864gc=0.232cy//T}YZ7zXZִF! ']ŗXi%93@ō1"Aы{t 6\^0$LF:rNodžgɪ^жb!ӓ3"p%U5HRCUCGҹѹ2[ޔRa@NzFv{ (pKu)}~4vVZMlNFY`q, @?eemnUU-uwܡ $: %_TVh+gr{ ڽ^2k( " t=-0a)d}OiC]%=6!@vgH0rE:gGXd}?[(qt m! vMr{T1@#8y ]$$T׏UOS)n<}{pp M3mP:G=k u*^F~qaë*ߕ@?Ts1Ee;+:cM -۷o͂/pc?yw"DՁZK\ ~+)<| s^X; w(6aW3c^'qa7Ÿ>OkU"$¥胖-cUd߻՘2OWa?|R[tO(UڱgYZ1e31a414eb7944d65dec06fb819cf857af233c8ea86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852  CYK