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 e1 ,dT ] HOL-Metis_Examples:threads=6elapsed=11.835cpu=50.168gc=2.900factor=4.247zXZִF! WM]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓MY-S$ʊޓgĦblɡߎ-]xa6o ۔NrTxUȘ&<~}|(FQ 'rN]H/󹁦QOMTaqeʫeL^icuhaaJT7a:EIJZD[fxn4&9aOo/c@ʫw*'j751xms(XAL?Ǖ#=Rjm'&͂k Xt:V5MUYaDB~EeȀ&ܰ$T:#,G$t\IY5sb\D7JVR}Ԯ/V`Xj߶*FS~-22%t4>3Ldz~x+ $ugDqf~2.nz]DJ(WLıU6{_iTw9"BN j T>ݮK[T <[NJk B 6֥XZ:sӣm!#m݈{W( ]];w"q{]ŵ%> ez8 \f=)/ԋ0kT6e2+>%xBs>MuSk˛"0eCSgo5}B%V.^k7W@,z讯it _A#ǴaD73^kX/` OPTb be{H0Aoh hB` (Ib4znj_]ӫ]E)Cf+?:rqqA09CO/R)wXZ]scD:kv{5t]pd O/fXi`cUYzl L?%an|4QʁDܫ4B$HB6@N i AEs3 YNVZ jSU֟ O_d-4À8|MjWH⼜:"vήůFL*Vv}T^X^P<1! 2^߂ U,6Yk& s1Vae]MAf_l]Ɍi5X<72e2ݟ9+ݷ7֤wjG_ޱ9͕@' ?Wdv5FnegtD!*9uaP,`emh4i] l41*wXk[C~3 C!+ujD1NɎ0->q $7"CB? RhpH#W©.c1bLx}U4  2gYZ7zXZִF! )]ŗXiɟ1$Cܨ }X 6P]!ẞ \QMdN6?o h\ za{%ϥԆ6q6Ƈ A-s@w2U.ŖRu"iB +rypN5 (GM:S}Ko' %PA"xnl >4ɲ$U}rlDzk 88A&[;]c#&gfc/øcm1D^,al齟{Y3@wܨe@q mBձgYZ7zXZִF! 8!]ŗXi%ϩ}-:lX;\ʑJla>e%Y,^ymOV:a{|4A-`XqӍp7b?L<%' *ki` Ce"o|rMg8dnbks)Pp2?D/%؃"j`*;2%T5iՈP-le`NFY H9׹Z 秨wN.Vs]K71}HEB񐓚Am;YJh1TNۙRԇOe0Bh;m|Xdތ%:nb׵ @s,d-}VX{l@IhKC6M/)8|"-F_@At?> ׎ƺttuܽǮ~hH^‚,[ZttflSgiymcqZ~+co+8 0͂t7 uvu9•" }Õ +g9@XEQ#VVi#F]f$&$ qc !5(mNwX@V\( 7=nW@? 9m5\tu6=Rx# @`-}'"CzlAeןoJTABIy$[5(p-s!-YDB;C_^9aBpt/r=FqEjXUA2K ;!#ᠦCc[0p.!m(Iq%:5L>g,hY%nngM Bm V_ ީ^`)JkW{O8z.y)@6(;| 僚zK'a=xjr,e_ftշ)P8(h nˊ2t=2ԏ/v;ŊYkGZ5  L] ;K(p*\UYDQHX](JSrD.o{.rF%Y$rlMbWo`Xn2XWYCbR%'Ӹq 1\9Be2RMLev%46תOh<@SL)|?DҶT,Ayh,|NyNztN