SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 u d4T ]/ LambdaMu:threads=4elapsed=6.469cpu=13.064gc=0.192factor=2.027zXZִF! +]ŗXf[& n@j#>i#V2vG;thc^D8 G:Egyu۵1+IRm6I Iux1rB6oC]?!+?}`EmzҳbnB!~>jmnS`mɞQo[p!>+^.[Jj T<~pe)hEHcY PhaOk{!QwIdz="%?qvV#?#b_$V -7] v{gYZ7zXZִF! ]ŗXiɟ؀6t72 ;[8}$ThrO4$HOKjh9`T=;lKAЕ˥4i{O8jօ#A4%j/|Ӎ3,B,.`e,fLQ$PqB0HYAh͋-쯘Sg!e'@ IY`0?R:/mT_I4,e^@}gYZ7zXZִF! 9b]ŗXi%B8_v(gt9r܀JRiAcXNsۧd eߎ{qNm*C!ȓwؚ\ns&?Οl8Ap.ʞBBs' ̞HxLo82xJVNx,QBJ>3xܘl|?"B l*ޭ$hWCɭAh|$~z /yR+VʨXGʠoRt0 2~}EmΖ:ƣQV '5bTͤg-urci;%T# eh# _Dl(>_RN-}BӦ^UgcH22RE_sހ8MterۊclĬS,/ `dt+h*msL \eOJ: ]k;3x'(Yҿ稬/y“Feώ EҗLDwu<4Y}ה6wsec{Ul<좵6DCɕ~8d!a8vǰE4J `K}sCy E1dW`Cgg/t4+(VhEQ26 "${p8qNOJ0?w"tѻ'[uџ/]K10{H6 y9/ӳD YWX7Y9[G`Su?ܪÐH<!f/bd35S wi6X=̎U?UbVZzEx'&*ኍ6y*gԢG:0gKᦰ{R{:yө'tk Bu'-sIݣ>*D+ۛðybK)|1F^SBuf e6vEa"6rBeĜ}T*3g )ڼat{5-ZYQa:D05Y>m*ꮆsHSAз%S(]I+