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 j dT w/ FinFun:threads=2elapsed=6.135cpu=11.164gc=0.580factor=1.827zXZִF! ln!^.񂯛R "|npew5qyD@qoR|kA!7;v@; ^E*7%H!Rn釈FJ8"Bf-:*N   FinFun<< CKX_nIeJX߰$ 49S8Sm;@'K˽}v?7#QRXRcfc_xFٻ-Ռd2AKɀXK=ڑDs=s60nb@xL/]!ˆm'iGE#L9(~b2$s;;_Dž|(Ǹɴ>2#ç9ܳҿ4` ۊRF5;*eTH$' {:>6q]7Prx [FyUx?[zWUњ֘~wO5 O gQ=#S~:i޲ H_uHbc`"@|2[DIsȲBn{32k#c}K) ˖hԼktk#݁p-ؕP gK G]Vf x70dxZ,ըJ^y֔A_A"^4yCD_k#5y(,]v aV ԉ x|бgYZ7zXZִF! * $]ŗXi%DQ~F/ᖢW۠3^M;Ey2ţٴ` ?` 0`M SchUn'h| >5釤=q=I4`pRz Έef>MޖXBA7XT!OVxxaJD .PQ&͖YBhYA؄GI̪0a%`WOx(A+^h0,E܋io+K·F*r,<ٔ6%XcD8+eedo>{]h%Q\mAnd97 `g "[;ފ572yq2PFc!xM47%QH b+CQC4YջB8ڜ\&(8p#UZ%$UU~鳄@R&Q/G$cvU@va\ 6Nek9Q*8L0 $~ڱ^ڛG,m^Gmga7BzqcMǷ!PۺshˌSCi`f>Yd ?XfU}ׇ