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 77F1 4 ]S HOL-SPARK-Examples:threads=2elapsed=17.813cpu=29.148gc=0.640factor=1.647zXZִF! T]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)XopRXh~̎wUH9nWK7܍ |tsjðl=EaL q\NAFjs֔^]z8(4F[XIŞ$-"_yN\X`86)Ks_Lci߮]JԢD{|4e"E<<_;qz*,p dDA XǬ\yIJ̆"b . yB9 #yCĹ9{ގh36ˏ<֫f9ᴽlԡ붔VX7lq]WfprZ ":b>BYqLrgx[{qqEiBI@[b:V6'KP&*Jv~8sY HoTJ ZfY;d.{ngYZ7zXZִF! F]ŗXiɟ1'HGu C),_=g~ {^}摭W[Vv!a݆K6B]b2WI{M纉ctLcZ`ajr>AF0Vdl*qR;4̨' $؂ҏ^{I,*>El‡^vM5K۶qj#Fw{!0~Bc6Ghe0+.oMl$|vn|> 7 3eMZw; i}硂i,-sk!e)аTe'b-ckD5uvgq(6 h|@gYZ7zXZִF! V]ŗXi%9*WθI4'F{'kޗ~ex+/ L֍*!UgU8ixs=cu#&wnT!r5< %ƙ#X*P;kZDu`9zJ9)3k{d[~oj?}"^g# *b\Jt{ؕy ݡFY>>POսGJ+$0p%0o6e<so0q*yă;60uj^OreUg0slWc> γ 3Cb^!qHy2@wRսΓc|x,_o>强 u[z4Kf7Fn)oUE~);8s \F.-HRj?KRrrTd1ӹ`nn~sG1 =|E+7"G@ R5dgaOAGlÛa+ |iu+3HtzX⪠4묮5,C{: pIaT;|_zI^o[/Fn*eOՁq ?+lokEx$㠵 he}Ck߱菶1+?"\J[QG~T05)ZVtv<%4WT(N{7kx`7Y)@M# m$a1ďPl~sG3W\O͛La I>XL d;*v]ww_ȄSһ@>E4O\Gu&*6kþ* ߍh T`04O+6~ըdOjɲB:.uh >0OCƙ-VA2G`K΁o&:V4F- ͫ#t}݅>IѼ x -]tyoC+[L 5Y[͏7c~$rGj#0с߂8IaS~-;8lk7SIpJZQF l+w+[Itڟ 栟/"9.\fίHڧΪ՗*LZx,7oշs T/BoI4鰥8k[LOy?`#cP 'WN1G9?$qݺ|~~Io,I}Kˇv`SO%t)tqcYId=  ׭5vgYZc6c0641134255d4a74e80a68ca1f087d4f58f3bb1f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a ae423d94d5ef8267aa727af30c4429c63a664cac 5f4edcf8e77a6659dfd2bc24034021eae1a7a55d 1 HOL-SPARK-Examples