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 :' L ]/ GPU_Kernel_PL:threads=4elapsed=6.692cpu=11.676gc=0.260factor=1.747zXZִF! ~]ŗXf[&@K݄S)B\fF^|]z81K|@ͭomzSz5(6mRkѿԫ2uxdŠCΚd |y/93|@;u~Wp37galW3'\`g6D|9 ڷR+*2_8Ep%Dσ+a AP44M$>J5M4 8x?Kf`rZDH~b IQ+>,ϩn)iX GHXL@akgz {/?Bz&G tpё#܃Ճފl t, h=|ǻOHcnOp_Z5c$e)IGᆱgYZ7zXZִF! ]ŗXiɟ1{6{ `pamLRC"(6},AdJ/|pKZɱc[C@FRNG Ccgn{`"S r +yzR P߽Kl,O3A ,RwnR_g65k}c:)nqw25*e7x T \v YJgYZ7zXZִF! 7'A]ŗXi%B:g;]us/h-G{P[{vnF9LYuзr'`X'Gz!F KAkvP,@=] ru؝8urqi&#ȵ(r6x֓aC 1IBnjYsLuhXʍf6c,p 5o8L9TfJ9]JWPO lF=;utZ(Jʸn̍Ml- G)63yʭ4 ! =ߟ)1 jQ׌JbT-4`^9 )аso$g~X!nZJ'N:X WMHw<ޤ=ҋZ0x|2;6@z\nMe>I׃G΍DP+@$kK[YAÉ ș?٢I.*3Z^A؜L\@cD\ }Y[c>*SDWV8 LEdA!&Qv;llVZqtWvkߧ>!@%Sq0zaɥn xV;V0.Mre;uuwϷ9s(k#A~b[Ib\K&*,vm۟9=w]2<#i\j2GM,,56SZ <04`c!JqcmMfx;8=3$#f&dǶr*U }5,m|F}uɟ8 OjIhx)b  36.DŸw).ڦ2hJCcqN/aUJ Dw}]w}܌ 26e!Cf(u^zja$n6r:>|9&rF^GeaLB3XoH\c Tm$⼊>fGSgn60N|?^]f4{"j+]9~+ulU!ƙҀ|lWPz