SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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  d d$Lt ] HOL-TPTP:threads=2elapsed=7.350cpu=8.596gc=0.400factor=1.177zXZִF! f ]ŗXf1-q恈5Vs1{3 k8gx'3 ˍ(`lTr`5{BDZQ,Mޯt)Fu0~/iĴiq>ah0dU5 ,>8/L盍ދ5/ tdmv±7?]j*D5I8}xI\C`l kDJ}O[ozC?#ꚊǘG܊Z1S9s'HLL$X>[a/gYZ7zXZִF! f]ŗXiɟ1{nH4ʼn8@ؓ&lsɄ={=_u2!$(ȫ0\ 0sY}j3U*ZdY#(]1qb  /¿JY΄yoSM:N?у{mnte](CBNQtl^І oΑ*DELﶊm4NӀ<RбgYZ7zXZִF! %R]ŗXi%;XĕADzTO$O+s8XS٘tv$pBsUL*BR|5|OFGϠMmY >|;\'0A86_7.\G @}T~U-ݫ'rPYuQxӭgۈg\fy0f!1N-аEx[`m4*L%@0ɬx*yx_ΟOΌyv[0]m\>W \ 8fVlGiٿP-56`Pj"3]8.WV)B1A!9cgKIpH!meƝR,O6t 2 )nWK^G߼n}@5(I|h̓k~[ȁxʜ?}gJʊg\ufol$FY0!A~`Wt`d;F9&LBM%