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=15.927cpu=26.048gc=0.916factor=1.647zXZִF! Jw]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)p\jf-w__&=7l~6]Z/wMLwgJҕ]Y!`.i&z𪞕>Y8Қw)?8"N398Mbȍ!d%r㙿nFc L>КQhQ8<`ݞfPTN_:RWT!a?n-iӎ=mGTC?uИLe pڡ@'g &D m ]~,^le&⽆<F ^Q)`ۉG`"3:IR.-}HXBS莄 j &9Nwď`$ z P ~gYZ7zXZִF! K2}]ŗXi%;P.FaeZ]jϏC#?rڡII 7m+CG;"\Q޻$3c8iC* G>̂e_bW8q*)FBYn r#FN΢4^p]|9#8 OןeɄYK&l,P}n+^ Zz"9HJLP^?Ӡ"KyLy> N"*0ۉdF/eV_"0墩շׯ2Wth?XoF-Iۣ:*K޷a )0*͖" `5 P$IF6Ix_1ۡC32Ѵ|X]{jnAU0ٔV2eTj ']\(vJ 3uDu=tӇ gAQm7 +ůyHqġYb*PV^w3@c+Zu>-P)ߐbbyp-#'|:/}4?IG-O=*,-4Q mA$\I/$wuy q>-B'J򩓑eQLZk' ̭xzu= rG^ҴqQjyOih+!^V~K|=]E9aw*̦ClR-WF$4aETCE5&M>&!QʗBKb?:E; p+Tr*b QD *-& Oٓbz>. S{dm޴Ez ,vfUa J8ta{eU3W+)7Q!I$c[O rڵ?P,ѕ?M_cM>d*/M[9fкEմp5l^x{'6(?gMXp7ӁcMDMe[R2oΎ)[>'l?K\[޺~ټ6K'vݴI~0DSdx~쳂3 ڴ9ekӎ  PngYZ66d6b59ce836e6ece0962c948836674d844970ed4b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0 e15c2c7959152609ef6c694f15765d4c2b0066fb eef88d063077734e230b94cc74e6d2c0e4e5c439 1 HOL-SPARK-Examples