SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info U | O] Sequents:threads=2elapsed=3.938cpu=7.672gc=0.204factor=1.957zXZִF! ]ŗXf1-y$DIX`d:w d X {`Z/#*4wzUUS=lD Ӕjx/   Sequents߬ x6.\H:5Wt`]]E(G)EXANrѪH[ /C:m(yk yc| V s)f>/UOXlމYoe x);›޷V)X8 ύ9G؇Lg(\Mu ZuRZB0΢mAQ&fD7Ld A 0[8=OBYR~Rm Ϣi+rTә2]]D?aigXK7wGWќF8FUٖp^8A>H>]\d f:_ŐԈ 7NJSr[-̳GS[l!A씂 )u<~I{ۙ4^sRv }$p[9 2ukZ5# L* T vb9(JG?2<՟|]qܢD}%jwo%H}> pp1arYF8υ. ][Hop5ד`y")cDoz lchTq$c'y=X37)C' =RJmp6ޠh~W 3ݙgYZ7zXZִF! 5]ŗXi%BzqV 6 ]\Kl1od^(7u?X}6b%YQqd$bV}n1#sL!M,ȁ2%'b}; O'Vf":g4я;e]ALxjɀF57+<9{ ʍ*٣$.hKQq2K d!sY $vUeZ3=)(Ц_ޡVA`ˑcp} HoIzgXQ0Y9 "PuyVbįr708|( )Wdֽk py5 ȏgJ@0+vxQWapʢZq6o; m~<0*űP٥PǏSCrnIWoRPs)!ųY:ּQ3"D-kAfx:Q3!k)^QLgYZ09e42578360a7629cd09c222587dd793115811c6 116c97ad26eaab501bf78fa047a3017488d2e7db 251889998129977dcc5991bbef6eb05299c2da5c 33fba5ff8b216af98705321587f3bde74ab7f735 5deb55d18de32716c6a23639ffdc8ace8986f3f2 5ecd0a28960b1b2d44076993f2a328d5d3068b75 6998c7523e1c0980bd27ad7bf03bde3f267cff2d 6e1588a629d4d51dba9f12e94162fc84243f0041 6fc2f417f1d888086aee52c5e42b3cbe080aebe4 7dd3c42e329e6de4b651cd7707e8a127eb7123cc 9f9e788798da12cfe35c9483f5f33eeb34fe703d a28a2d872a5f331f74e3a7ee2e3262bc6089e222 a3eeb85474f76ade6f424a010d5e349811eb723c ae3c4c43dc898784d6f8cd2d4b61ead24a00e62f ae81ad5cc5167f467241b3ceafb48c7321b64b19 b1059b69bbe49eed61aa110ed9cab68402f340d7 bd9a94da1e8afbf67ce4081424bc53f6ae5c6c7d f9804929b3b4eb5ee622b1362286787411430f48014fdf73a0b928fde39c061b3b448884e65fa152