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  5$| Sw Hermite:threads=2elapsed=71.004cpu=109.788gc=13.408factor=1.557zXZִF! ) ]ŗXf1-/6vRZ*F"Qă!!bN >3qek@_Hڒ nנbqfmYyFH{Dm#b ~AYx`H3*{O9vuq$wg6 ܄ =pǖj 毯6S2邏I-D   HermiteYĹXK1+ H&,Y$:M^јѫVᡡ{-5݁Q"qNBU6ٵ"8+gYZ7zXZִF! 7 ]ŗXi%6˼?GA_B!Nq1`wov1c_ l4ED}簽g͘` [M’ԕI(#vX ]Oe_KB;uB,.T7ղ}d1OXu3A1ϤUFP&*oF?8MrL[|05-UG]1q|&[uJ/ vB+{1K's/״]##dCkF+ܡxP0§8"e\ԍJpڿ~+,BICLRLMEVxy6;8hV?.]L's"ڤ}maaFl YU,1a O8ɶ Wh 6->[{x;za_л$|DKFLR@1"Ei. id'-7`K@(ey,7qlni#0c mq~4Lɜ"I|wŦ}hrSEfDzn@ m*~J˓v4(RX76|]8 Xkt_fs 6 hlYYm+ޓ0R\&7]|GhS%mWQ<=@V@m)1s}; [Qi?λ`c̦SΓ=9Rʊ6#eҪ-7͎_6@5%O@iA=NUHw".PoHæ>2 /~pMǗTmGc| 5ک9̿3lD ?Rε"Ukō,6tV e=h^B}FvVqqWZry縪iR2+ =20T4: e@6I[o\cK8X!3>Gn("} 8JU)J>[_:b0 COH/e~5x9~ _Z߉edx`eC[22y%BkotduK`n/JjY>uO4 u?Mg>J'kkR(S6~i*`TWg^;pLYw/hZlGn^>qM G<"DUӢ2KRYPo4YXRS N x~W)>>ucGv|T\kupF*.O[?\՞g2ٌyfySGRqLx=d5ZI!M cMzA_n~ou;-/ރ/k͚k!!c.-T:n؀FҙtgwѠ/jn6ם0q(zXT072a4r7~Y[Hg\ߺZi<v.3v*,G=*AIaxS Bvӏd9%"1% 93z[ tEwy,>Rcd+XOE8f+;VflQ꠷SRB2ްm>t۱/6Z 5zxy7U{#F7&n.7YJ5+QnTbFSǺqv$|>-z1!BNw~PkXeZ4UhZC뜘n(@+wmA[_6?GNj1qtdeZ|i]hjylk/F Nvg,(:vkrm&ם×YgUu9sZ1V*'|AKI˧i11|sD]}?*9/FfH]‡#޸Kg~ &CRLbNc 9Brrod,ݩZ=R%+EEP/E 4@okhZQ Ӗ'2fy¿;ZgYZ0ecbeb6985371fdbf44a0f33f3cb0a5fe08ee670 4179fe3432dab15034779bf4ae7667b8a33e35c5 5a591ad33ef46abf86e4540006fb778ce9ca002d e9bebdf05d120266d95742efb3f9f02ec59295ea554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67 2ed211b1efae4422e75485936f4d42e34d927cbe 27d1cc7d59bdad9cff1eb5f88475476e40d84b64 5817a78f50704e368dd29aaf6d1bbbbc7ed01b13