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 kk /\,  HOL-Word-Examples:threads=2elapsed=1.890cpu=3.504gc=0.100factor=1.857zXZִF! ]ŗXf1-q恈ebLi=<^TIKl TW3%鎀@@"u@]@W|WtC Z `s2t GǴ-_w}L%aL~c0zb̙VW2pOHnˤ}/JCEo{ oTu7Mnâk8\L‹Nd!c\:ZAR[p4р^ؿWFtv&ɺR+-I-~ / HOL-Word-ExamplesRת!"Ce>._H8jΛ결 K&4V %4@FispЌ{ Ţf_p~`=]uIzaD5MjcB$5p4#ȣaUa뢹 ܘ7n1 s`$NDs,RW}ˊygP# Arފ9UfN6?}o$OLsd9Mw $sr4˱gYZ7zXZִF! ]ŗXi%#fK" ΥĐlLƂUtu1R];ccgNH$u|+H"ӄBwsI";`NHw>)B] aJ/ &%Bҝ%=4fY*_9;]jݼ N'doZ ht׃! /!GfZ.QB?fA,\}adbSǬyDw~'+wbd5zs;jZzV$*) %6$4)F u;׏s6ӹ6 nlD9G3 +p AEG>lZfYAhxsnn_G!%|eKa