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 @@1lT O] Sequents:threads=2elapsed=3.656cpu=6.600gc=0.116factor=1.817zXZִF! ]ŗXf1-y$DIX`d:w d X {`',   Sequentscv7m<.l/I^Xwz*rӨNj;yG è|u40 &ĈKA'f˗TN= ߴ|cU Xu%j j'5= w>_ϓpp m}u1TȓS3dGB3VϗCjW$1UO6u/O0V^bEHyfW[)]pUnU 95CPBf4{1R%xUV!jYvߞ6I>6-+[zWv[Uwp/d]@Es.9eU U\`TNTD n̆"u$]- K&C%ɾk[*0Vz6߰k=ූag!MٸQ+kML3+M nO,f!.md]^e>YXӅ^r-U3āt$tVWDڨi>"P|B< :Sԃ8*xtGO$mB{*YnJ'zfnoe&4qn(F費I} ]6͏&BkG;۫SNzta)x"s<_忔տ%>MV,AO gkD=J3xުFF%-qDz>f0i]5KdN5k m}‰V;e^u4MT:}QoIOOR-a W¿[NP| -2|ߺ6Fqrܨd3htm'=hQhWru׃RpT.x} VM CA@TMn't0Gt}HSHhS tP'Vgc5׆!dEA3‡ yU_ 0=SLՅ[מ8œLLNDRn`=~Y*s$T̷34ldqKl* Z_0jW2voV#Ե5~0* UI&3&":lEiccf5t*-ޘGcȨCU_a1[;JCXRYoU7l7I=pYfhFـRQ3 !%5~$DgYZ09e42578360a7629cd09c222587dd793115811c6 116c97ad26eaab501bf78fa047a3017488d2e7db 251889998129977dcc5991bbef6eb05299c2da5c 33fba5ff8b216af98705321587f3bde74ab7f735 5deb55d18de32716c6a23639ffdc8ace8986f3f2 5ecd0a28960b1b2d44076993f2a328d5d3068b75 6998c7523e1c0980bd27ad7bf03bde3f267cff2d 6e1588a629d4d51dba9f12e94162fc84243f0041 6fc2f417f1d888086aee52c5e42b3cbe080aebe4 7dd3c42e329e6de4b651cd7707e8a127eb7123cc 9f9e788798da12cfe35c9483f5f33eeb34fe703d a3eeb85474f76ade6f424a010d5e349811eb723c a6aa14a4a3cb8b64280a38e88df7f88215099ac0 ae3c4c43dc898784d6f8cd2d4b61ead24a00e62f ae81ad5cc5167f467241b3ceafb48c7321b64b19 b1059b69bbe49eed61aa110ed9cab68402f340d7 bd9a94da1e8afbf67ce4081424bc53f6ae5c6c7d f9804929b3b4eb5ee622b1362286787411430f483269756b47a6a9653987fc2e45e2efe5ac3c9347