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 ++FT / HOL-TPTP:threads=2elapsed=5.698cpu=7.124gc=0.076factor=1.257zXZִF! M$]ŗXf1-q恈5Vs1{3 k8gx'3 ˍ$Br2Ha1fe|^".}f&TqVz-KOm֭5[mIcrN|f88E=ҲۡkУXN*w]R I͌_A ?\PKxsۤ٨o{Q(NgzIiObQ}XĆ !daA̎22p!_DQ{&84RK"{ hc Z@y?6TȈ ]Vaz   HOL-TPTP.ƾ!M`f;m\l W %ݰ֑1@%[WKP1 8c|bE LONAᔞxSd[x:h~2ض7oA``t V2-En\^q A[K>:SŰil* 9KQ*"a,Sʉ u')/쬸"gfgYZ7zXZִF! :|]ŗXi%3</rL1zdr|l*U1 9د@ _0 S$}a$1uCV/T&T[ <sPg8la+(Ӳ!n4Ԉyܩ\$Er F&FT:w4\}8r@ȭ0&@`6"$m60bH `KbX|8H=!Ewt%J]؉,΢'.S65H_̕ZmFpıx'4V~