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 z1  ]S HOL-SPARK-Examples:threads=2elapsed=17.022cpu=27.656gc=0.856factor=1.627zXZִF! ]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)u&p-Ibtn̆ 5̒*v"xoCS`tMeH8yl[K1^+>Sr!S gW?zf_VuT#4,}9TFM ˚^28+jc!DH:u8]yH)hr.d}e7+T(*w֤д(&>'[+_{kB46VK%=)w!ugN̚-7j!1W'6 Ņ| )us:K=+Oϙ+a]K\ŏFY\5f1AIzġ/ RF%lWdN I(% %nQfR5Thvlv.-?dJgYZ7zXZִF! E]ŗXiɟ1'HGu C),_=g~ {^}gՀB c_\247[T,o6X.b7`5,#u@/g?GSnFiL|XbșQ<{R۸ #ƱgYZ7zXZִF! O]ŗXi%;iS'Ϝ"%auho"y_Ma,m5=l/۱{xcF;V4o&PA+_$f"x]S 0!49xuScc[FLq/[`Lƃ@G(ܚ3K,I[F`e2m)i+&$UWdM08/1K㾭[@9<78^v bUw]3ngq@7!wO2ݼy;U'X>pIlsa ) $gZTweߙr嫢6t:Z#!es,![29t~!ZyKBVȓ4{rӨAGМ$. SiJG[э=v ԱgM3)}{"QlI2MS7F%nEwQTkHb\4i.Ǟ`@&y47Û1zkf{-s!ּF.h\cPȴ;+([9c7O L32ZFGe9LJ< <~ jUWv BO5T'U8(sI$B6)d\#pɞ/]81|1 ],B7wʩĄL^|֡/`fc!G^!X־2&9̮Ͳ7ErQ!ĨyM1P*Vn)QI gz%vO_OF%G، yDXp,7ePtb&:-xj8:-⾫ L wڗ)M{dK'osWl B Qw v=&_bi_6w|Aj֟4Ӓ7@8lT{Q9$H:*>:]"v"F6[m?))HGCt,`_殙'W4 yYLށeQպ| EHs= ןT%ngYZf3f974688295d8249468cfb236890a0d903f15a3634a34b0a78430c8365c904b4a02a2bae50a7baa da3f4711496f4ebba63bd289462f3fdd0cd836c3 b12f886aaf16e26e7bf651031cd165045de48f17 b8a1e26c1e067f42d8070b742e94a0123869d732 1 HOL-SPARK-Examples