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 1  \ ]S]HOL-SPARK-Examples:threads=2elapsed=19.016cpu=31.728gc=0.900factor=1.677zXZִF! ]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV) Ij ÷$m8 (ZQ1Zb]N^NPWi"ħah5-O[VHd6ؗC^A&^db a5:p?}. /U$].&rh56$\ o>OL)8%Ғ$;߈CņfJCӹ1߹HLUT}dVCVzEںZ Aь-5Y̋^M2=*s=UPE־#KЌXƬgppF!// mSD8xqQ+Ȓ-Ed++b/Xۍ2: q47EuygC7@p]cTZߞ+/Qf8腼sA n˵"Qn:\mfz3DtqJHЖ@R$@ xGx֘y5AGDgZrl?".S_w kdo1vV-򇷘Sc]F% AS@#ˠ4-CnNMoxt {{ {{q bvV/G8.)_3I^ݒ9Lˬ6%|'#jF^FDz &(pxhȒJ-tCZW\Rs0D1߫y6x"_;/x@LR*`ٓNzEs",lŖ|=e{Mu]{u[kbnN C89xT; o60"jcUL۬!r$ ph^'^ׂ.:vf]:6%@"ϻ-6$f eI 6ErN@fHYCdcaje Nu{7g7y͋@u/QT En">Z|Q}8pBzV0,j}|dnb'u'ֹr~OտA9xl`A59z u&r>docdB(qkKG`չ[H<,Oh/hpkxj$J&--d7yq*ӵPz hy[ Yϥ=ե=k-<,".ɯxOw HZu<$sFv$rEwJ0B׬F+ŝ^CkeXXGL3;(K L̇ulk VI#r7[QI_x<3JqC-H3^m\$1hHQ-Bt/RiHgկ 5H%D[JqSX^fD!˛#QWbZ]+b{lOyIRGŝj>s!ʪ܎~ If-)7b=ѺIE%<wm±|Yx>=rFF(Km7Z4b&*0aR (Eʌua\}!DiKC$ 3Ԩ ʲlgYZ972ef3ac711af907f5a89ee503e39272da4efd4e3bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 0b115791849dc465b056ac72c0371cbc706643c9 1ebe0efc64f66755ffe6451a75d916281203b119b06734a1ca1121e11abbac7321f080a81511f9e2 1 HOL-SPARK-Examples