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 99<l S/ HOL-IOA:threads=2elapsed=2.739cpu=4.352gc=0.124factor=1.597zXZִF! `]ŗXf1-q恈^W.U?Eԑ1[ǡMUX\!RHP,M#cyi5/9Wm ^#CjnWnXҘWeu1Þ^X ȝB dL]`eGQh;2Pd27kL>-o* IGa!؛pJ>\kg3 |X7`d)N︼[2P */I%w~}> J er)8/(.y-k<͞/ZHEqY?>ީ:$g-0\9   HOL-IOAW3j)鰀__C W.S{mR+: P|g:DxW&&ǦCDh+-Lǩܖz6-G%=Sc5,触BhUy D OhPCviYrw>{봖k2+jױ_on1M#}!G%2nĊ_"z2ZRv/W%.sn+} ޘWko9؄ xT~`^ #VBllld/s\>ʱ&Ii"V%-?~?J◴9N^*@h??,Ok栰~tȋ~w*d 0UUߥJŧCEjQ|4^.LEcaCR)ͫ9%.^[ cHzr.w5 F1G~ouUsd]_R\<~Q9R\LccC)S`hM!  "agYZ17d4bdcbc3732afba946b9e132a42f895e626d76 3b7a78d6b297842aab3513e75e633a169c45ae52 4bf14543e74625e7d98554527128b5fcd79c1e54 e201918a65f6bf556c21c846b06edd560f25ed4fd38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5