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 |l ]S HOL-SPARK-Examples:threads=2elapsed=19.538cpu=31.936gc=0.864factor=1.637zXZִF! ]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)': Q8 I{"v iTG Rdv[f: ]h3r>L +yF+=Θo5\Ʋ/W|èݯ !X{6'|RKrq(9TF܎.UJ+G4@uۖ.T-2rN9FVbR* altD\@Mx03W`EgYZ7zXZִF! G]ŗXiɟ1'HGu C),_=g~ {^}{v^tXD2M%, ;$AuP i彉cZZvzxn'8Wƫ tedН{@/5sz"Cpb?OCxIԃ$K>Q=Ϙy]MFi 08K'I+[I8htD4<'~P>U G\(+nfCدVazEcvtw[X#W.BY17  ( gYZ7zXZִF! []ŗXi%9(PψcO6~SGPeD*#Do{'Ή1vD\Ujwe^>7sGJ3)fiH(-0(`y*sn!DegWu*hG5y-)fBפG;EccŀKZI{nN䘦oPwxJ]U*D]^qK}\>ro1 Ǻ/8ڙ IXɤXXTƇ"-tb4x ";,*I*A1z&)Gpfj<|Ao~熺e7-kw`!=t;41tN d;a=(yLY7P"b:U:k]?K6 זH`FG ?ӵQ.4C<ֻ;\3庝m޿wI<v ~3B^40ߥ^,6+oغxR-)ۤHR#WEےvEj?XrJ`,}37}xv'~bȂcd6Aؤ1g%!<ƱSt@ʤl' 1q$#8n~]<_bfޞ_GPaĂJn@9@WZ"}mM.ѧ EF,^e9K&^Ժ *5OGJ8p@R %] _`1찮st*GL2U-F@ឳ ƺ,,ho .{(:eUyϔGqs:/b:r@em1 ~s RSi%4pdk {,xVfu4.ft88d1c` %_%ʡLQ}'F>Mt/n%R ){DxV ΔF3{CK\q.dnDAqTvsyJsFZ(<~_YA5!wah7=[WuLXvڸM釱s yuX F!e<-%'b6b6@`K7J'| *FEKf⢃ }gYZ8ba738b3db3889b8846dc0ba8fd911a2cd44b34d6f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 23bb91acacc9d33b9105d76cf48c33eb2457fefa 474f1d7c68ef0a1123f83e3a1dd72cfd9d8345c4 1 HOL-SPARK-Examples