SQLite format 3@ . YYQ77Atableisabelle_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, "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  k' D\ ]S Stream-Fusion:threads=2elapsed=10.297cpu=13.372gc=0.556factor=1.307zXZִF! ]ŗXf1-/6vR[]`\Tu}M-*qtjX`"ny#90l)/;!3 I!6;'Ng:Nx-{*] apRG;3pG,y{} j(@<.qJW oEGH~u L:3RUv/HFAds3G "NN}ʝ kUZpՕ 6񥉹s{Z d0߾a=M-qgYZ7zXZִF! :B]ŗXi%60n'1}+ &8@HQ[E}fsr#E?:!Hzq}%c|㳐8pQ&6o]+ QL6{N"U?)A`"''^Y;p8ȷ %NOFDF{<r\̗9a. z!j|2kڧ$5^j˜ivC_js ^.E։vE$%=ɗa:f 2 ;!))?|A1E0ZM8:8Tjn4Eclz|;&M lþ{^&jR}'S|t5|܂ k}Q+[Rm{5 qZ$2 >|\rx7%[R6p~9Е=IlU渊zu4%]BB ץ~J@('<Kxe0hqVw 15Ur=*#ҫvѧP%˔Txr+KzNsxdGGe\jl/9_on˂ 9zޡTUzeKm`;SÆ~цM{lU';K{1I>-V8THJ";;q}k($#