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 8% |L| ]S Posix-Lexing:threads=2elapsed=14.990cpu=27.528gc=1.616factor=1.847zXZִF! /5]ŗXf1-/6vR[2u)qS?'CΠPhuM2bF|Oބ2\8~eRL1Ƽ13Q0 ݮO>d)'N'I'Tվ%uUqvW7z{r` mU[k\[a$EDDJn=hm:DU#6 :<w.29S"]k<'J"e ? JSYp.Y}ũd[XTEGl/[1ֵ*v(LI1edRM49i!!sf+wgYZ7zXZִF! _]ŗXiɟˏ6t-utD>ь@z?HS()+:\Q\z[8w΂۹q}r0X^&yWej0x>f#q=J{ JDgYZ7zXZִF! M~]ŗXi%9#qt prPH6i~iT<|/X sۮљHx~NfStIT 8݁`cz Ih6ymACii)eN/`}8sZ/,S7cm9F!.Ozr\!'KqTW'p[D>۲g\v U* 9܆cf`(&ԻabN*3XG$*g;-ta|OYŁ%IѪIJs2eU(MoR*-e\gL6r}'ϛfЊBs.Z,ϊ@:(qsT8KIAB&fэq6%dBYǷ6j~݁#Kx;09|ڦ"D Ф̌v8-CUTbkXÔ#3̗sU뮟񚎘@t}ۖ*|eGԠ A^Q >~rs0۔.h?/bIv$ n͒0J!ujGmcDʯZ/ؗ> Rh|=N blHNo3s+i6N*,T [ # 46)%GvmG:;l{yG1YeYx=߃a7a] KI+Y"Cq 8/틀j.j!FRz9e ]goZ_8@k Hz:sі6Ӂ޳+RRN&юZ&]T'8Ӱyg-Հ:ŷ}ҞJLbۮ:}))b˙c$>[Zgd[#I29[-1pP<Ե~A8)Q*-t$S-GךȮQi2%V}|&;v<[A܌O_+\M(-Wk:b|.ZfɘAzk\K;Ͼ8:Wg+8D}^ dkz_doo;D HahH̟%Q U3Y ]R)uI`+j,c73 )gYZ512ee455f5eb008a3cd8372cc1f6029ac3b9f7098ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c 907c7d5dfb9b4651a5c53d96664db710c6e6367b % Posix-Lexing