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 +7 4 Y/ Abstract-Hoare-Logics:threads=2elapsed=13.611cpu=24.576gc=1.732factor=1.817z 7 Abstract-Hoare-LogicsXZִF! |]ŗXf1-/6vRZ\vW>_=֭0\{1\63T}R䙳;\ (U0D#aF7fl"G:@8\DRZ1ht};3J_:'=EhY ŗ$@(+a]sl!aDЛpHor>XS 浓h,B {oĔ#/'*1\zx2F[@w[3$1qʰT]L`%ί藦p(eL(8c[C\ngs#0{SX[y~|O]uo|I}KХf#Aߵ h+S MR @DC`PcCkiA7`r0gi˃N1n d׶(;NܦXE=#r~a%{fϾ_n^t jaZ[dၪPI0W*Hq3Eb Ky]ŗXi%H _|ȕ,zxywE_PqU*|:Þ&ULHɜ7y8J6WRT5. c enoј5b<,04'[ 7x˕;5JPmN! :IGCנ= UHU(mS5 ZEf˝zI^ډzfLXcėE` %Ң*!l<4.`Lo? ̀0;maseWg,DijCID.8vY41X4<6l|}p&fKA*]'`|Y!;呑Nnb!^?}tUS CTU=pbxLQ0sz|*Ɋ`E%p`EQBBxW+gL &7] -kS0VLW-&ާ<1B/_&f |7"E=$Se,5 "t?X&g3IfR^tQ%'O_Yw/r a`@ `;SVG^oڏV>OpvBݡE:ѤbC:TzO\epIh? PU- z&gYZ07d9682a4239e8b9d5167ebe37929bb4dd64eb78 1464305b2bbe77c3a708030b70c2c3e94f60166e 14d11054030e7dd6c77971c068b8cee62a6ad942 14e02afcf67bc213b511a3ef5f87ca10d483b100 622cf9cc7bef816ba234cc46d95855482855c01b 6ce64580875aa4f1fc1c7f0c182d161f90bc7085 851703309b264f73d5a783a81b96291a40a53741 a80ae276abb247350d344f25b22caee63cdaf328 ad42629725e1e075c62c4f76a75d8a5409d2f3b0 ae0c236a30ec695c8ce382b403b1f2bcd5501f3d b5a1489774852bacf89b1206d4ede58deb224fae ca0750621dffab5db08c1f4a366269f82ed615c8 cb6884bc854ad8677f2eaa4cc93a36b9102c0ee3 cf8e25df14d0e43b874b54166adc284dc7f337a8 db9df33ac1e6cc1f5dbb7dc31529a868e1b3a9138c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07