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 889L O] Sequents:threads=2elapsed=3.806cpu=7.376gc=0.168factor=1.947zXZִF! ]ŗXf1-y$DIX`d:w d X {`Z0VaeB1^#   Sequents![tț;Nt8Tr갢Hֽ_A^~kϘ˻k[Q]8րxqMqF&_C#U^]QhDw96X@N OWJ/wLy UHBTtO@s+֙CF:~!a qsk4i,E5AUJ$='VH֜i1#+QCkp {|9\ٌP3CE"5[v4n8# .%ؤJ~NS"Ppwd!VE^U$A]-1boT-i BkaЭcO٠+PFSlsZOP2Dw>K_vaWhH2}i>V7bU<^/O VU#Da(nc7Ŋ(f@v -d* $.#qOA ~`[慷=3Y| FF#>\mx$IԠ6k,;ONtYv&IٛH1QwsgYZ7zXZִF! ;]ŗXi%H蚏Tk5_ G=WWzUbf@F:@hWom-zr`C'Z_WhxW[rF~&>][U)݊s*9D]6@/douױ")4b%9ăR+qSc& pTKN;($`iFuߐASl z|8&6qx9nTskU!1f΄X)YN+RV%4cFyI0Xa4z4a10~Eel kVԽc<֪Tz@rY10mwe%%uHho被'\5OȯhuD@GNە;/MlaFT|nVb$>g| (W1姘Oy=ם,i6?<8}$.8> hj \0~zDB1lGNEiH$ԟʭ>U=3!!B Fna 3`(J%B-1ஶ 4մO¡ILA6W*LYgYZ09e42578360a7629cd09c222587dd793115811c6 116c97ad26eaab501bf78fa047a3017488d2e7db 251889998129977dcc5991bbef6eb05299c2da5c 33fba5ff8b216af98705321587f3bde74ab7f735 5deb55d18de32716c6a23639ffdc8ace8986f3f2 5ecd0a28960b1b2d44076993f2a328d5d3068b75 6998c7523e1c0980bd27ad7bf03bde3f267cff2d 69ca96fca161c463aab4ec45176c5189b430c2e2 6e1588a629d4d51dba9f12e94162fc84243f0041 6fc2f417f1d888086aee52c5e42b3cbe080aebe4 7dd3c42e329e6de4b651cd7707e8a127eb7123cc 9f9e788798da12cfe35c9483f5f33eeb34fe703d a3eeb85474f76ade6f424a010d5e349811eb723c ae3c4c43dc898784d6f8cd2d4b61ead24a00e62f ae81ad5cc5167f467241b3ceafb48c7321b64b19 b1059b69bbe49eed61aa110ed9cab68402f340d7 bd9a94da1e8afbf67ce4081424bc53f6ae5c6c7d f9804929b3b4eb5ee622b1362286787411430f487f2620c3106ba8cf7d1c7f769837afcff4b3cfdd