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  A|< Sw Hermite:threads=2elapsed=69.718cpu=111.248gc=14.052factor=1.607zXZִF! "]ŗXf1-/6vRZ*F"QAΐ'?FDB ?z*^t.%f8&}TE+OM 5pbV@`Qõ# ڕ49Tep._8 UV(.~hPoI"c y/Z.1 K&%KK;,RcUu   HermiteVQil>s.&]T\Ȁ+%}.,gb G|gYZ7zXZִF! 2 ]ŗXi%6y2^7G1=1,UOUX7'ݍ:ړjrr/GyßY^\l _ԚC] UJw `>E65߀Vz7r&TwMYӯޒL@#3SeLA$.q˄ryv:aXyH\̠jX& /pk5fgDC"wlK 񻡜 u;`n0n+^c`o>on0u6x rቌ#{Q?D)6S6.DK~G5>OG64&}(݀@Bŝ(!/Th}Wdp} >;MKwěE)fq0f #$8){&,0^ɴ7gbç_^>aX6 uskoHɦlto&WGOh@#_O]Xt'щ}X4^za@ F3\J|qZP -ULC.UI u|6# y|_,pV|[rWXb-mY_Um\QUM;.-A NqopbVyq.~@4~gg9@sV<3?AIKxSX{f3QCENe:/j d+}|;m굪|?ㅋ$ &%ϡn+',Fݞٸ呷<#LB d5LI޶k8"{l8䑨}xY-Һ+Q6Hd{oտ(_TE%8,q 8OLC2:ڎ)B ƁJ(]5=[m}'1SPMH-vdCpǏ,,> ғ뉭bPLzq[a75THːAȸ;f2H#yuNX680& VF{1NC(2H1dػD,-q0v<ܙ k0Rzr_^@pC=6o:6HD[QVmOMI<+h#[Tf?9f"J8hA:xɅLB.Ljci~Lf|Zh૝,DT9d6n`*pWU5R bBe2 ÆGyj"wV&lRZW

cpQ=;E1~[1Mp @L5VڋZz|YHCg2hΝY|bdSJBxIp'ށ*R&V2ymX]/=mo}r=_BoڕnQ'#}I'5{?j'#H}B!ek OՔNz6{m4Jz0d^X!ث `~Q&1=/ǂ{-7l;2Bl+VZՉPh~ UJVB! %s7L-?_ant+: Ų̒p<|"l?އpoVn=*[}ϢF^.xi/J:XghHA0OIx$X, 81l& ȺWA}SF:ҘPam@la_E>b-t:D,  J.YgYZ0ecbeb6985371fdbf44a0f33f3cb0a5fe08ee670 4179fe3432dab15034779bf4ae7667b8a33e35c5 5a591ad33ef46abf86e4540006fb778ce9ca002d e9bebdf05d120266d95742efb3f9f02ec59295ea554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 1d78b900664117bc27648b4f3031230e0f9a4d44 03e856ecbd8165d627f2304b2d07003f191a980f