SQLite format 3@ . YYQ77Atableisabelle_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, "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 l1 4 ]S]HOL-SPARK-Examples:threads=2elapsed=19.672cpu=32.036gc=0.784factor=1.637zXZִF!  ]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)'2mj3o2dn>(X,o4'WnW'IG]/>왋OU 8:K"v-sY% OG3g@Zy>VLn2j$C6d=,֡$UagA4KLb ('wg\ ďtwtq(WWxl J2^ PREo9X05f{[%WժdsUH7$S{k0Eӫ'5WvfaPj5Ch)Fa!i7FDt?EڬKP#ֽ gz&>MFif?}D,JN& 05xuMIfM›LA `q3(|P6eR >,1ly@I@j;Y 0湟UR~/t6 Y~- 8o5ڋR9lM:$_gYZ7zXZִF! []ŗXi%6.'q _+q2hݱ=wyϽ_v^P_P D7\tD+Ҟӟt4CM73{^: 阞!=1YA3R\!4bi!P5zI" ): B~drX΁8c*Uz=|d#:3aSw6U? +e*wE!w=n\UߓcU#Z:[$(2t;[擆G.{8L7;@3aQ3G5B%-|lG~L$u=D䱱sH`6m{_. X۱Gp|JeU|յiuHW/OJ0Ԓ2( w(I("`|/'2gm6w/ 'ho8AN-xf7PTlƹM'EOF߬O:U2e;U$'Ic(@wl.4K sq?ZLbKb,Vy<~Dp@xYxgUAaSD8_Q cߊB3e oMqΪ:V7YƨZ-v?h<& գ(_Kp\p"84%r*~D.@)(lPiZ܎xwՏGWTiˤbޱ `8E({Q=Xۣ6I F{%5jp(Y_F>bbYndsDKSKz#we^[͈w-2"a XՖ?u,}_i[f43|}}o@,Wyi`z,MOYuz`n}(p"o\:dP Fy{уb˦djE*ԀzT0[˕|&&Okexb?y [X֠0"NI֥%j6" .2'K ĔږgYZe9000ea544c1136604582ad88998ccf6f61781cf0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 86c62a8d8ac123fce4a0ee6d182b7e268d49ebac 49b0c82b14f2770ebd045592d755388ff9f98e0573c0eb83959528fb4739125e1347d45be488dab5 1 HOL-SPARK-Examples